Cadence Design Systems - PDFSEARCH.IO - Document Search Engine

Cadence Design Systems
Results: 97

#	Item
1	http://www10.edacafe.com/nbc/articles/view_article.php?section= Add to Reading List Source URL: people.cs.nctu.edu.tw Language: English - Date: 2010-01-27 21:11:54 IEEE conferences Design Automation Conference Electronic design automation System on a chip International Solid-State Circuits Conference Cadence Design Systems Synopsys DAC Application-specific integrated circuit
2	Specialization Oriented Programming Jim Newton – Cadence Design Systems June 28, 2007 1 Add to Reading List Source URL: www.european-lisp-workshop.org Language: English - Date: 2009-10-20 14:10:46
3	Breakout Group Proposal: Predicate Dispatching Jim Newton, Cadence Design Systems Pascal Costanza, Vrije Universiteit Brussel The current generic dispatch implementation in CLOS allows a generic function to specialize it Add to Reading List Source URL: www.european-lisp-workshop.org Language: English - Date: 2009-10-20 14:10:15
4	Object methods for data organisation P. Herth and Jim E. Newton Cadence Design Systems (Dated: June 10, 2005) In this paper, the application of object oriented methods to data organization is described. Applying the meth Add to Reading List Source URL: www.european-lisp-workshop.org Language: English - Date: 2009-10-20 14:10:47
5	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
6	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
7	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
8	Peter Tr¨oger, Hasso Plattner Institute1 Roger Brobst, Cadence Design Systems Daniel Gruber, Univa Mariusz Mamo´ nski, PSNC Daniel Templeton, Cloudera Add to Reading List Source URL: www.gridengine.eu Language: English - Date: 2012-06-10 06:49:04
9	新興ベンダー和_v12.mcd Add to Reading List Source URL: www.jesa.or.jp Language: English - Date: 2010-02-28 19:46:47 Cadence Design Systems Mentor Graphics Denali Software Electronic design automation Berkeley Design Automation Electronic engineering Zuken Synopsys
10	E x h i b i t i o n R e p o r t Japan Electronics and Information Technology Industries Association (JEITA) Add to Reading List Source URL: www.jesa.or.jp Language: English - Date: 2010-02-28 19:46:46 Electronic design Standards organizations Mentor Graphics Zuken Synopsys Cadence Design Systems Synplicity Xilinx Silvaco Electronic engineering Electronic design automation Fabless semiconductor companies