Sciweavers

DATE
2003
IEEE
101views Hardware» more  DATE 2003»
14 years 2 months ago
Introduction to Hardware Abstraction Layers for SoC
Sungjoo Yoo, Ahmed Amine Jerraya
DATE
2003
IEEE
130views Hardware» more  DATE 2003»
14 years 2 months ago
Noise Macromodel for Radio Frequency Integrated Circuits
† Noise performance is a critical analog and RF circuit design constraint, and can impact the selection of the IC system-level architecture. It is therefore imperative that some ...
Yang Xu, Xin Li, Peng Li, Lawrence T. Pileggi
DATE
2003
IEEE
94views Hardware» more  DATE 2003»
14 years 2 months ago
Profile-Driven Selective Code Compression
Yuan Xie, Wayne Wolf, Haris Lekatsas
DATE
2003
IEEE
81views Hardware» more  DATE 2003»
14 years 2 months ago
Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations
Given a plant Å and a specification Å , the largest solution of the FSM equation Å ¯ Å Å contains all possible discrete controllers Å . Often we are interested in computin...
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton...
DATE
2003
IEEE
79views Hardware» more  DATE 2003»
14 years 2 months ago
Time Budgeting in a Wireplanning Context
Wireplanning is an approach in which the timing of inputoutput paths is planned before modules are specified, synthesized or sized. If these global wires are optimally segmented ...
Jurjen Westra, Dirk-Jan Jongeneel, Ralph H. J. M. ...
DATE
2003
IEEE
66views Hardware» more  DATE 2003»
14 years 2 months ago
Using RTL Statespace Information and State Encoding for Induction Based Property Checking
This paper focuses on checking safety properties for sequential circuits specified on the RT-level. We study how different state encodings can be used to create a gate-level repr...
Markus Wedler, Dominik Stoffel, Wolfgang Kunz
DATE
2003
IEEE
90views Hardware» more  DATE 2003»
14 years 2 months ago
Transistor-Level Static Timing Analysis by Piecewise Quadratic Waveform Matching
While fast timing analysis methods, such as asymptotic waveform evaluation (AWE), have been well established for linear circuits, the timing analysis for non-linear circuits, whic...
Zhong Wang, Jianwen Zhu
DATE
2003
IEEE
96views Hardware» more  DATE 2003»
14 years 2 months ago
Power/Ground Mesh Area Optimization Using Multigrid-Based Technique
In this paper, we present a novel multigrid-based technique for power/ground mesh area optimization subject to reliability constraints. The multigrid-based technique is applied to...
Kai Wang, Malgorzata Marek-Sadowska