Sciweavers

DSD
2002
IEEE
86views Hardware» more  DSD 2002»
14 years 1 months ago
Using Formal Tools to Study Complex Circuits Behaviour
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. The...
Paul Amblard, Fabienne Lagnier, Michel Lévy
DSD
2002
IEEE
97views Hardware» more  DSD 2002»
14 years 1 months ago
Recursive Bi-Partitioning of Netlists for Large Number of Partitions
Rolf Drechsler, Wolfgang Günther, Thomas Esch...
DSD
2002
IEEE
95views Hardware» more  DSD 2002»
14 years 1 months ago
Reachability Analysis for Formal Verification of SystemC
Rolf Drechsler, Daniel Große
DATE
2002
IEEE
91views Hardware» more  DATE 2002»
14 years 1 months ago
An Enhanced Q-Sequence Augmented with Empty-Room-Insertion and Parenthesis Trees
After the discussion on the difference between floorplanning and packing in VLSI placement design, this paper adapts the floorplanner that is based on the Q-sequence to a packin...
Changwen Zhuang, Yoji Kajitani, Keishi Sakanushi, ...
DATE
2002
IEEE
95views Hardware» more  DATE 2002»
14 years 1 months ago
Window-Based Susceptance Models for Large-Scale RLC Circuit Analyses
Due to the increasing operating frequencies and the manner in which the corresponding integrated circuits and systems must be designed, the extraction, modeling and simulation of ...
Hui Zheng, Lawrence T. Pileggi, Michael W. Beattie...
DATE
2002
IEEE
137views Hardware» more  DATE 2002»
14 years 1 months ago
Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models
The design of application (-domain) specific instructionset processors (ASIPs), optimized for code size, has traditionally been accompanied by the necessity to program assembly, ...
Qin Zhao, Bart Mesman, Twan Basten
DATE
2002
IEEE
146views Hardware» more  DATE 2002»
14 years 1 months ago
Automatic Generation of Fast Timed Simulation Models for Operating Systems in SoC Design
To enable fast and accurate evaluation of HW/SW implementation choices of on-chip communication, we present a method to automatically generate timed OS simulation models. The meth...
Sungjoo Yoo, Gabriela Nicolescu, Lovic Gauthier, A...
DATE
2002
IEEE
158views Hardware» more  DATE 2002»
14 years 1 months ago
Congestion Estimation with Buffer Planning in Floorplan Design
In this paper, we study and implement a routabilitydriven floorplanner with buffer block planning. It evaluates the routability of a floorplan by computing the probability that ...
Wai-Chiu Wong, Chiu-Wing Sham, Evangeline F. Y. Yo...
DATE
2002
IEEE
103views Hardware» more  DATE 2002»
14 years 1 months ago
Communication Mechanisms for Parallel DSP Systems on a Chip
We consider the implication of deep sub-micron VLSI technology on the design of communication frameworks for parallel DSP systems-on-chip. We assert that distributed data transfer...
Joseph Williams, Nevin Heintze, Bryan D. Ackland