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.

• Type: Journal
• Year: 2002
• Where: AC
• Authors: Mark B. Josephs, Dennis P. Furey
• Keywords: AC 2002, Asynchronous Logic, Asynchronous Logic Block, Delay-Insensitive Sequential Processes, Software Engineering