Sciweavers

471 search results - page 41 / 95
» Automated Design of Misaligned-Carbon-Nanotube-Immune Circui...
Sort
View
DAC
2002
ACM
16 years 4 days ago
High-Level specification and automatic generation of IP interface monitors
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
Marcio T. Oliveira, Alan J. Hu
DAC
2004
ACM
16 years 4 days ago
FPGA power reduction using configurable dual-Vdd
Power optimization is of growing importance for FPGAs in nanometer technologies. Considering dual-Vdd technique, we show that configurable power supply is required to obtain a sat...
Fei Li, Yan Lin, Lei He
DAC
2006
ACM
16 years 4 days ago
Criticality computation in parameterized statistical timing
Chips manufactured in 90 nm technology have shown large parametric variations, and a worsening trend is predicted. These parametric variations make circuit optimization difficult ...
Jinjun Xiong, Vladimir Zolotov, Natesan Venkateswa...
DATE
1999
IEEE
194views Hardware» more  DATE 1999»
15 years 3 months ago
Algorithms for Solving Boolean Satisfiability in Combinational Circuits
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...
Luís Guerra e Silva, Luis Miguel Silveira, ...
ICRA
1994
IEEE
99views Robotics» more  ICRA 1994»
15 years 3 months ago
Accurate Alignment of Laminate Materials Using Sensor-Based Robot Techniques
Assembly accuracies of 0.05-0.1 mm, needed for electronic product manufacture, are attainable with current automated manufacturing equipment. Aggressive electronic system designs ...
Andrew E. Brennemann, Robert Hammer, Ralph L. Holl...