Sciweavers

20126 search results - page 3394 / 4026
» Timed Transition Systems
Sort
View
ICCAD
2008
IEEE
109views Hardware» more  ICCAD 2008»
16 years 4 months ago
Verifying external interrupts of embedded microprocessor in SoC with on-chip bus
—The microprocessor verification challenge becomes higher in the on-chip bus (OCB) than in the unit-level. Especially for the external interrupts, since they interface with othe...
Fu-Ching Yang, Jing-Kun Zhong, Ing-Jer Huang
ICCAD
2007
IEEE
131views Hardware» more  ICCAD 2007»
16 years 4 months ago
Low-overhead design technique for calibration of maximum frequency at multiple operating points
— Determination of maximum operating frequencies (Fmax) during manufacturing test at different operating voltages is required to: (a) to ensure that, for a Dynamic Voltage and Fr...
Somnath Paul, Sivasubramaniam Krishnamurthy, Hamid...
161
Voted
ICCAD
2006
IEEE
71views Hardware» more  ICCAD 2006»
16 years 4 months ago
Using CAD to shape experiments in molecular QCA
This paper examines how circuits and systems made from molecular QCA devices might function. Our design constraints are “chemically reasonable” in that we consider the charact...
Michael T. Niemier, Michael Crocker, Xiaobo Sharon...
ICCAD
2006
IEEE
177views Hardware» more  ICCAD 2006»
16 years 4 months ago
Fast and accurate transaction level models using result oriented modeling
Efficient communication modeling is a critical task in SoC design and exploration. In particular, fast and accurate communication is needed to predict the performance of a system....
Gunar Schirner, Rainer Dömer
ICCAD
2006
IEEE
129views Hardware» more  ICCAD 2006»
16 years 4 months ago
Energy budgeting for battery-powered sensors with a known task schedule
Battery-powered wireless sensors are severely constrained by the amount of the available energy. A method for computing the energy budget per sensing task can be a valuable design...
Daler N. Rakhmatov
« Prev « First page 3394 / 4026 Last » Next »