@inproceedings{32d7b1436dab43f1bc4a18dd53a05f93,
title = "Process algebraic specification of DI circuits",
abstract = "The purpose of this paper is to investigate applicability of Null Conventional Logic (NCL) for synthesising asynchronous control circuits using. The target implementation being delay insensitive (DI), the specification language also should be DI. Delay Insensitive Sequential Processes (DISP) is such a process algebraic language where the behaviour of asynchronous control logic blocks can be expressed as processes. We have mapped several basic DISP constructs to NCL and performed a small cases study. It is a step towards an alternative synthesis way for NCL circuits.",
author = "Man, {Ka Lok} and Abhinav Asthana and Kapoor, {Hemangee K.} and Tomas Krilavi{\v c}ius and Jian Chang",
year = "2010",
doi = "10.1109/SOCDC.2010.5682885",
language = "English",
isbn = "9781424486335",
series = "2010 International SoC Design Conference, ISOCC 2010",
pages = "396--399",
booktitle = "2010 International SoC Design Conference, ISOCC 2010",
note = "2010 International SoC Design Conference, ISOCC 2010 ; Conference date: 22-11-2010 Through 23-11-2010",
}