Sciweavers

ICCD
2005
IEEE
131views Hardware» more  ICCD 2005»
14 years 2 months ago
Efficient Thermal Simulation for Run-Time Temperature Tracking and Management
As power density increases exponentially, run-time regulation of operating temperature by dynamic thermal management becomes imperative. This paper proposes a novel approach to re...
Hang Li, Pu Liu, Zhenyu Qi, Lingling Jin, Wei Wu, ...
ICCD
2005
IEEE
124views Hardware» more  ICCD 2005»
14 years 2 months ago
Model Checking C Programs Using F-SOFT
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Mala...
ICCD
2005
IEEE
97views Hardware» more  ICCD 2005»
14 years 2 months ago
Dealing with I/O Devices in the Context of Pervasive System Verification
Mark A. Hillebrand, Thomas In der Rieden, Wolfgang...
ICCD
2005
IEEE
90views Hardware» more  ICCD 2005»
14 years 2 months ago
Variability-Driven Buffer Insertion Considering Correlations
— In this work we investigate the buffer insertion problem under process variations. Sub 100-nm fabrication process causes significant variations on many design parameters. We p...
Azadeh Davoodi, Ankur Srivastava
ICCAD
2005
IEEE
106views Hardware» more  ICCAD 2005»
14 years 2 months ago
Fast balanced stochastic truncation via a quadratic extension of the alternating direction implicit iteration
— Balanced truncation (BT) model order reduction (MOR) is known for its superior accuracy and computable error bounds. Balanced stochastic truncation (BST) is a particular BT pro...
Ngai Wong, Venkataramanan Balakrishnan
ICCAD
2005
IEEE
70views Hardware» more  ICCAD 2005»
14 years 2 months ago
Physics-based compact modeling for nonclassical CMOS
Physics-based compact modeling, as opposed to the conventional empirical approach, is emphasized for nanoscale nonclassical CMOS. UFDG, a physics-based compact model for generic d...
Vishal P. Trivedi, Jerry G. Fossum, Leo Mathew, Mu...
ICCAD
2005
IEEE
90views Hardware» more  ICCAD 2005»
14 years 2 months ago
Thermal simulation techniques for nanoscale transistors
Thermal simulations are important for advanced electronic systems at multiple length scales. A major challenge involves electrothermal phenomena within nanoscale transistors, whic...
Jeremy A. Rowlette, Eric Pop, Sanjiv Sinha, Mathew...
ICCAD
2005
IEEE
132views Hardware» more  ICCAD 2005»
14 years 2 months ago
Battery optimization vs energy optimization: which to choose and when?
— Batteries are non-ideal energy sources – minimizing the energy consumption of a battery-powered system is not equivalent to maximizing its battery life. We propose an alterna...
Ravishankar Rao, Sarma B. K. Vrudhula