A highly parallel FPGA-based machine and its formal verification

This publication has 11 references indexed in Scilit:

• The VLSI-programming language Tangram and its translation into handshake circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A formal approach to designing delay-insensitive circuits
  Distributed Computing, 1991
• The formal description and verification of hardware timing
  IEEE Transactions on Computers, 1991
• Parallel Computations and Delay-Insensitive Circuits
  Published by Springer Nature ,1991
• Micropipelines
  Communications of the ACM, 1989
• Recent developments in the design of asynchronous circuits
  Published by Springer Nature ,1989
• A unified framework for race analysis of asynchronous networks
  Journal of the ACM, 1989
• Compiling communicating processes into delay-insensitive VLSI circuits
  Distributed Computing, 1986
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• CIRCAL and the representation of communication, concurrency, and time
  ACM Transactions on Programming Languages and Systems, 1985