Cadence - PDFSEARCH.IO - Document Search Engine

Cadence
Results: 478

#	Item
61	A decision-making procedure for resolution-based SAT-solvers Eugene Goldberg Cadence Research Labs, USA, 2150 Shattuck Ave.,10th floor, Berkeley, California, 94704, phone: , fax:, egold@cadenc Add to Reading List Source URL: eigold.tripod.com Language: English - Date: 2008-05-20 18:46:47
62	Timing Analysis with Implicitly Specified False Paths Eugene Goldberg Cadence Berkeley Labs, Berkeley,California Add to Reading List Source URL: eigold.tripod.com Language: English - Date: 2005-11-16 12:39:22
63	Using SAT for Combinational Equivalence Checking Evgueni I. Goldberg Mukul R. Prasad Robert K. Brayton Cadence Berkeley Laboratories Department of Electrical Engineering & Computer Sciences Cadence Design Systems Add to Reading List Source URL: eigold.tripod.com Language: English - Date: 2004-01-15 13:34:51
64	Applications of Craig Interpolants in Model Checking K. L. McMillan Cadence Berkeley Labs Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inco Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:10
65	Peter Tr¨oger, Hasso Plattner Institute1 Roger Brobst, Cadence Design Systems Daniel Gruber, Univa Mariusz Mamo´ nski, PSNC Andre Merzky, LSU Add to Reading List Source URL: www.gridengine.eu Language: English - Date: 2012-11-20 10:48:39
66	An Analysis of SAT-based Model Checking Techniques in an Industrial Environment Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P. Kurshan and Kenneth L. McMillan Cadence Design Systems Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:06
67	Determinization of resolution by an algorithm operating on complete assignments Cadence Berkeley Labs 1995 University Ave.,Suite 460, Berkeley, California,94704 phone: (, fax: ( Add to Reading List Source URL: eigold.tripod.com Language: English - Date: 2007-01-21 13:26:15
68	Interpolation and SAT-based Model Checking K. L. McMillan Cadence Berkeley Labs Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark stud Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:16
69	Equivalence Checking of Dissimilar Circuits II Cadence Berkeley Labs 1995 University Ave.,Suite 460, Berkeley, California,94704 phone: (, fax: (CDNL-TR Add to Reading List Source URL: eigold.tripod.com Language: English - Date: 2004-08-31 12:59:19
70	Verification of an Implementation of Tomasulo’s Algorithm by Compositional Model Checking K. L. McMillan Cadence Berkeley Labs 2001 Addison St., 3rd floor Berkeley, CA Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:38

UPDATE