Sciweavers

424 search results - page 45 / 85
» Majority Logic
Sort
View
RE
2004
Springer
15 years 5 months ago
RETNA: From Requirements to Testing in a Natural Way
Most problems in building and refining a system can be traced back to errors in requirements. Poorly organized requirements, most often in natural language are among the major ca...
Ravishankar Boddu, Lan Guo, Supratik Mukhopadhyay,...
ISLPED
2003
ACM
149views Hardware» more  ISLPED 2003»
15 years 5 months ago
Elements of low power design for integrated systems
The increasing prominence of portable systems and the need to limit power consumption and hence, heat dissipation in very high density VLSI chips have led to rapid and innovative ...
Sung-Mo Kang
DATE
2010
IEEE
141views Hardware» more  DATE 2010»
15 years 5 months ago
Carbon nanotube circuits: Living with imperfections and variations
Carbon Nanotube Field-Effect Transistors (CNFETs) can potentially provide significant energy-delay-product benefits compared to silicon CMOS. However, CNFET circuits are subject t...
Jie Zhang, Nishant Patil, Albert Lin, H.-S. Philip...
PADS
1996
ACM
15 years 4 months ago
Conservative Circuit Simulation on Shared-Memory Multiprocessors
We investigate conservative parallel discrete event simulations for logical circuits on shared-memory multiprocessors. For a first estimation of the possible speedup, we extend th...
Jörg Keller, Thomas Rauber, Bernd Rederlechne...
DAC
2010
ACM
15 years 3 months ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare