Sciweavers

4359 search results - page 128 / 872
» Automated Pipeline Design
Sort
View
DAC
2008
ACM
14 years 10 months ago
Tunneling and slicing: towards scalable BMC
Malay K. Ganai, Aarti Gupta
DAC
2007
ACM
14 years 10 months ago
NBTI-Aware Synthesis of Digital Circuits
Sanjay V. Kumar, Chris H. Kim, Sachin S. Sapatneka...