Title: New techniques for efficient verification with implicitly conjoined BDDs
Abstract: Article Free Access Share on New techniques for efficient verification with implicitly conjoined BDDs Authors: Alan J. Hu Department of Computer Science, Stanford University Department of Computer Science, Stanford UniversityView Profile , Gary York Cadence Labs, Cadence Design Systems, Inc. Cadence Labs, Cadence Design Systems, Inc.View Profile , David L. Dill Department of Computer Science, Stanford University Department of Computer Science, Stanford UniversityView Profile Authors Info & Claims DAC '94: Proceedings of the 31st annual Design Automation ConferenceJune 1994 Pages 276–282https://doi.org/10.1145/196244.196377Online:06 June 1994Publication History 31citation277DownloadsMetricsTotal Citations31Total Downloads277Last 12 Months3Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF