Sciweavers

69 search results - page 6 / 14
» iccad 1999
Sort
View
ICCAD
1999
IEEE
74views Hardware» more  ICCAD 1999»
14 years 1 months ago
Lazy group sifting for efficient symbolic state traversal of FSMs
This paper proposes lazy group sifting for dynamic variable reordering during state traversal. The proposed method relaxes the idea of pairwise grouping of present state variables...
Hiroyuki Higuchi, Fabio Somenzi
ICCAD
1999
IEEE
62views Hardware» more  ICCAD 1999»
14 years 1 months ago
A scalable substrate noise coupling model for mixed-signal ICs
A scalable macromodel for substrate noise coupling in heavily doped substrates has been developed. This model is simple since it requires only four parameters which can readily be ...
Anil Samavedam, Kartikeya Mayaram, Terri S. Fiez
ICCAD
1999
IEEE
84views Hardware» more  ICCAD 1999»
14 years 1 months ago
Synthesis of asynchronous control circuits with automatically generated relative timing assumptions
This paper describes a method of synthesis of asynchronous circuits with relative timing. Asynchronous communication between gates and modules typically utilizes handshakes to ens...
Jordi Cortadella, Michael Kishinevsky, Steven M. B...
ICCAD
1999
IEEE
115views Hardware» more  ICCAD 1999»
14 years 1 months ago
An approach for improving the levels of compaction achieved by vector omission
We describe a method referred to as sequence counting to improve on the levels of compaction achievable by vector omission based static compaction procedures. Such procedures are ...
Irith Pomeranz, Sudhakar M. Reddy
ICCAD
1999
IEEE
68views Hardware» more  ICCAD 1999»
14 years 1 months ago
Throughput optimization of general non-linear computations
This paper addresses an optimal technique for throughput optimization of general non-linear data flow computations using a set of transformations. Throughput is widely recognized ...
Inki Hong, Miodrag Potkonjak, Lisa M. Guerra