Journal · Homepage
467
Publications
971
Citations
Top concepts
Computer ScienceComputer EngineeringEngineeringFormal MethodsComputingDesign AutomationComputer ArchitectureComputer-aided DesignVhdlModel Checking
Publications per year
1971–2010
467
467
Department of electrical engineering and computer science
M. Sarrafzadeh · 1990 · 328 citations · Full text
The equivalence of theorem proving and the interconnection problem
James F. Lynch · 1975 · 152 citations
The international conference on computer-aided design 1989
Kaushik Roy · 1990 · 132 citations · Full text
Architecture, Computer Engineering, Computer-aided Design +4
Per Bjesse · 2005 · 41 citations
What is Predictive Technology Model (PTM)?
Yu Cao · 2009 · 33 citations
Engineering, Computer Engineering, Electrical Engineering +17
1–5 of 467