Sciweavers

Share
AC
2002
Springer

A Programming Approach to the Design of Asynchronous Logic Blocks

10 years 4 months ago
A Programming Approach to the Design of Asynchronous Logic Blocks
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchronous logic block is to interact with its environment. Using the tool di2pn, such a specification can be automatically translated into a Petri net. Using the tool petrify, the net can be automatically validated (for freedom from deadlock and interference, and for implementability as a speed-independent circuit) and asynchronous logic can be automatically synthesised.
Mark B. Josephs, Dennis P. Furey
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2002
Where AC
Authors Mark B. Josephs, Dennis P. Furey
Comments (0)
books