Title :
Semi-hiding operators and the analysis of active-edge specifications for digital circuits
Author :
Negulescu, Radu ; Kong, Xiaohua
Author_Institution :
Dept. of Electron. & Comput. Eng., McGill Univ., Montreal, Que., Canada
Abstract :
We propose to model and analyze active-edge specifications by a new concurrency operator, called semi-hiding. We define semi-hiding formally, study its algebraic properties, and overview several of its applications, such as interface recasting and tests of compliance for several asynchronous protocols. Semi-hiding and the related applications are integrated in a tool that supports automatic verification at several levels of abstraction
Keywords :
asynchronous circuits; concurrency control; formal specification; logic design; protocols; asynchronous protocols; concurrency operator; handshake; interface recasting; protocol compliance; semi-hiding; verification; Circuit noise; Clocks; Communication system control; Concurrent computing; Digital circuits; Frequency synchronization; Protocols; Signal design; System-on-a-chip; Testing;
Conference_Titel :
Application of Concurrency to System Design, 2001. Proceedings. 2001 International Conference on
Conference_Location :
Newcastle upon Tyne
Print_ISBN :
0-7695-1071-X
DOI :
10.1109/CSD.2001.981776
