Logic Synthesis and Verification
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer US

9781461352532, 9781461508175
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Static Timing Analysis

2002 ◽  
pp. 373-401 ◽  
Author(s):  
Yuji Kukimoto ◽  
Michel Berkelaar ◽  
Karem Sakallah
Keyword(s):  
Timing Analysis ◽  
Static Timing Analysis ◽  
Static Timing

Multi-Level Logic Optimization

2002 ◽  
pp. 29-63 ◽  
Author(s):  
Masahiro Fujita ◽  
Yusuke Matsunaga ◽  
Maciej Ciesielski
Keyword(s):  
Logic Optimization ◽  
Multi Level

scholarly journals Sat and ATPG: Algorithms for Boolean Decision Problems

2002 ◽  
pp. 309-341 ◽  
Author(s):  
Wolfgang Kunz ◽  
João Marques-Silva ◽  
Sharad Malik
Keyword(s):  
Decision Problems

Two-Level Logic Minimization

2002 ◽  
pp. 1-27 ◽  
Author(s):  
Olivier Coudert ◽  
Tsutomu Sasao
Keyword(s):  
Logic Minimization

Asynchronous Control Circuits

2002 ◽  
pp. 255-284 ◽  
Author(s):  
Luciano Lavagno ◽  
Steven M. Nowick
Keyword(s):  
Asynchronous Control ◽  
Control Circuits

Logic Synthesis for Low Power

2002 ◽  
pp. 197-223 ◽  
Author(s):  
Luca Benini ◽  
Giovanni Micheli
Keyword(s):  
Low Power ◽  
Logic Synthesis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document