Sciweavers

522 search results - page 56 / 105
» A Note on Designing Logical Circuits Using SAT
Sort
View
123
Voted
ISLPED
1995
ACM
131views Hardware» more  ISLPED 1995»
15 years 7 months ago
Guarded evaluation: pushing power management to logic synthesis/design
The need to reduce the power consumption of the next generation of digital systems is clearly recognized. At the system level, power management is a very powerful technique and de...
Vivek Tiwari, Sharad Malik, Pranav Ashar
108
Voted
ITC
1997
IEEE
80views Hardware» more  ITC 1997»
15 years 7 months ago
Scan Synthesis for One-Hot Signals
Tri-state buses and pass transistor logic are used in many complex applications to achieve high performance and small area. Such circuits often contain logic requiring one-hot sig...
Subhasish Mitra, LaNae J. Avra, Edward J. McCluske...
109
Voted
ISCAS
2007
IEEE
90views Hardware» more  ISCAS 2007»
15 years 9 months ago
Leakage-Aware Design of Nanometer SoC
– In the sub-65 nm CMOS technologies, subthreshold and gate dielectric leakage currents need to be simultaneously suppressed for effective energy reduction. New low-leakage circu...
Volkan Kursun, Sherif A. Tawfik, Zhiyu Liu
134
Voted
ICCAD
2007
IEEE
139views Hardware» more  ICCAD 2007»
15 years 10 months ago
Using functional independence conditions to optimize the performance of latency-insensitive systems
—In latency-insensitive design shell modules are used to encapsulate system components (pearls) in order to interface them with the given latency-insensitive protocol and dynamic...
Cheng-Hong Li, Luca P. Carloni
133
Voted
DSD
2010
IEEE
171views Hardware» more  DSD 2010»
15 years 2 months ago
Test Patterns Compression Technique Based on a Dedicated SAT-Based ATPG
— In this paper we propose a new method of test patterns compression based on a design of a dedicated SAT-based ATPG (Automatic Test Pattern Generator). This compression method i...
Jiri Balcarek, Petr Fiser, Jan Schmidt