loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second International Conference on Application of Concurrency to System Design (ACSD'01)
Semi-Hiding Operators and the Analysis of Active-Edge Specifications for Digital Circuits
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
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
Usage of this product signifies your acceptance of the Terms of Use.