Sciweavers

2778 search results - page 224 / 556
» Reuse Technique in Hardware Design
Sort
View
ECBS
2006
IEEE
153views Hardware» more  ECBS 2006»
15 years 10 months ago
A Unified Approach for Verification and Validation of Systems and Software Engineering Models
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei...
ISLPED
2007
ACM
138views Hardware» more  ISLPED 2007»
15 years 8 months ago
Power optimal MTCMOS repeater insertion for global buses
This paper addresses the problem of power-optimal repeater insertion for global buses in the presence of crosstalk noise. MTCMOS technique by inserting high-Vth sleep transistors ...
Hanif Fatemi, Behnam Amelifard, Massoud Pedram
ASPDAC
2011
ACM
157views Hardware» more  ASPDAC 2011»
14 years 10 months ago
Facilitating unreachable code diagnosis and debugging
— Code coverage is a popular method to find design bugs and verification loopholes. However, once a piece of code is determined to be unreachable, diagnosing the cause of the p...
Hong-Zu Chou, Kai-Hui Chang, Sy-Yen Kuo
ISCA
1998
IEEE
151views Hardware» more  ISCA 1998»
15 years 10 months ago
Integrated Predicated and Speculative Execution in the IMPACT EPIC Architecture
Explicitly Parallel Instruction Computing (EPIC) architectures require the compiler to express program instruction level parallelism directly to the hardware. EPIC techniques whic...
David I. August, Daniel A. Connors, Scott A. Mahlk...
DAC
2005
ACM
15 years 8 months ago
Keeping hot chips cool
With 90nm CMOS in production and 65nm testing in progress, power has been pushed to the forefront of design metrics. This paper will outline practical techniques that are used to ...
Ruchir Puri, Leon Stok, Subhrajit Bhattacharya