Semi-Hiding Operators and the Analysis of Active-Edge Specifications for Digital Circuits

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Radu Negulescu Articles by Xiaohua Kong

Second International Conference on Application of Concurrency to System Design (ACSD'01)

Newcastle upon Tyne, UK

June 25-June 29

ISBN: 0-7695-1071-X

	ASCII Text	x
	Radu Negulescu, Xiaohua Kong, "Semi-Hiding Operators and the Analysis of Active-Edge Specifications for Digital Circuits," Application of Concurrency to System Design, International Conference on, pp. 189, Second International Conference on Application of Concurrency to System Design (ACSD'01), 2001.

	BibTex	x
	@article{ 10.1109/CSD.2001.981776, author = {Radu Negulescu and Xiaohua Kong}, title = {Semi-Hiding Operators and the Analysis of Active-Edge Specifications for Digital Circuits}, journal ={Application of Concurrency to System Design, International Conference on}, volume = {0}, year = {2001}, isbn = {0-7695-1071-X}, pages = {189}, doi = {http://doi.ieeecomputersociety.org/10.1109/CSD.2001.981776}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Application of Concurrency to System Design, International Conference on TI - Semi-Hiding Operators and the Analysis of Active-Edge Specifications for Digital Circuits SN - 0-7695-1071-X SP EP A1 - Radu Negulescu, A1 - Xiaohua Kong, PY - 2001 KW - verification KW - interface design KW - protocol compliance KW - interface recasting KW - handshake KW - edge-triggered. VL - 0 JA - Application of Concurrency to System Design, International Conference on ER -

Radu Negulescu, McGill University

Xiaohua Kong, McGill University

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSD.2001.981776

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.

Index Terms:

verification, interface design, protocol compliance, interface recasting, handshake, edge-triggered.

Citation:

Radu Negulescu, Xiaohua Kong, "Semi-Hiding Operators and the Analysis of Active-Edge Specifications for Digital Circuits," acsd, pp.189, Second International Conference on Application of Concurrency to System Design (ACSD'01), 2001

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.