Sciweavers

ICCD
1992
IEEE
84views Hardware» more  ICCD 1992»
14 years 3 months ago
Synthesis of 3D Asynchronous State Machines
We describe a new synthesis procedure for designing asynchronous controllers from burst-mode specifications, a class of specifications allowing multiple input change fundamental m...
Kenneth Y. Yun, David L. Dill, Steven M. Nowick
ICCD
1992
IEEE
75views Hardware» more  ICCD 1992»
14 years 3 months ago
Fast Minimization of Mixed-Polarity AND/XOR Canonical Networks
Marek A. Perkowski, Laszlo Csanky, Andisheh Sarabi...
ICCD
1992
IEEE
124views Hardware» more  ICCD 1992»
14 years 3 months ago
The ETCA Data-Flow Functional Computer for Real-Time Image Processing
This paper presents a data- ow computer, constituted of a large array of data- ow processors and programmed using a functional language, and its application to realtime image proc...
Georges Quénot, Bertrand Zavidovique
ICCD
1992
IEEE
126views Hardware» more  ICCD 1992»
14 years 3 months ago
High-Level State Machine Specification and Synthesis
Current synthesis methodologies based on hardwaredescription languages focus mainly on two distinct levels: behavior and register-transfer levels. In many practical cases, however...
Andreas Kuehlmann, Reinaldo A. Bergamaschi
ICCD
1992
IEEE
84views Hardware» more  ICCD 1992»
14 years 3 months ago
Multiple Input Bridging Fault Detection in CMOS Sequential Circuits
Niraj K. Jha, Sying-Jyan Wang, Phillip C. Gripka
ICCD
1992
IEEE
82views Hardware» more  ICCD 1992»
14 years 3 months ago
A Comparison of Self-Timed Design Using FPGA, CMOS, and GaAs Technologies
Asynchronous or self-timed systems that do not rely on a global clock to keep system components synchronized can offer significant advantages over traditional clocked circuits in ...
Erik Brunvand, Nick Michell, Kent F. Smith
ICCD
1992
IEEE
83views Hardware» more  ICCD 1992»
14 years 3 months ago
Logical Verification of the NVAX CPU Chip Design
ct Digital's NVAX high-performance microprocessor has a complex logical design. A rigorous simulation-based verification effort was undertaken to ensure that there were no log...
Walker Anderson