ICCD
1992
IEEE
13 years 9 months ago
1992
IEEE
We describe a new synthesis procedure for designing asynchronous controllers from burst-mode specifications, a class of specifications allowing multiple input change fundamental m...
ICCD
1992
IEEE
13 years 9 months ago
1992
IEEE
ICCD
1992
IEEE
13 years 9 months ago
1992
IEEE
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...
ICCD
1992
IEEE
13 years 9 months ago
1992
IEEE
Current synthesis methodologies based on hardwaredescription languages focus mainly on two distinct levels: behavior and register-transfer levels. In many practical cases, however...
ICCD
1992
IEEE
13 years 9 months ago
1992
IEEE
ICCD
1992
IEEE
13 years 9 months ago
1992
IEEE
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 ...
ICCD
1992
IEEE
13 years 9 months ago
1992
IEEE
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...