Mark B. Josephs, Rudolf H. Mak, Jan Tijmen Udding, Tom Verhoeff, and Jelio T. Yantchev. High-level design of an asynchronous packet-routing chip. In Jrgen Staunstrup and Robin Sharp, editors, Designing Correct Circuits, volume A-5 of IFIP Transactions, pages 261--274. Elsevier Science Publishers, 1992. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Contributions to the Design of Asynchronous Macromodular Systems - Plana (1998) (Correct)
Designing Arithmetic Circuits by Refinement in Ruby - Jones, Sheeran (1992) (13 citations) (Correct)
Experiences Formally Verifying A Network Component - Curzon (1994) (3 citations) (Correct)
The Formal Verification of the Fairisle ATM Switching Element: An .. - Curzon (1994) (17 citations) (Correct)
High-Performance Asynchronous Pipeline Circuits - Kenneth Yun (1996) (5 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC