Sciweavers

299 search results - page 22 / 60
» date 2003
Sort
View
DATE
2003
IEEE
76views Hardware» more  DATE 2003»
15 years 3 months ago
Modeling Noise Transfer Characteristic of Dynamic Logic Gates
Dynamic noise analysis is recently gaining more attention as a definitive method to overcome glaring deficiencies of static noise analysis. Exact dynamic noise analysis requires...
Li Ding 0002, Pinaki Mazumder
DATE
2003
IEEE
85views Hardware» more  DATE 2003»
15 years 3 months ago
Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...
Amit Goel, Randal E. Bryant
DATE
2003
IEEE
84views Hardware» more  DATE 2003»
15 years 3 months ago
Dynamic Functional Unit Assignment for Low Power
A hardware method for functional unit assignment is presented, based on the principle that a functional unit’s power consumption is approximated by the switching activity of its...
Steve Haga, Natasha Reeves, Rajeev Barua, Diana Ma...
DATE
2003
IEEE
94views Hardware» more  DATE 2003»
15 years 3 months ago
SystemC-AMS Requirements, Design Objectives and Rationale
SystemC is emerging as a de-facto standard for system design but it still lacks support for continuous-time models of computation and multi-domain systems. This becomes an issue a...
Alain Vachoux, Christoph Grimm, Karsten Einwich
81
Voted
DATE
2003
IEEE
120views Hardware» more  DATE 2003»
15 years 3 months ago
SystemC-VHDL Co-Simulation and Synthesis in the HW Domain
Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the specifications. This implies the need to update an...
Massimo Bombana, Francesco Bruschi