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

Authors:
Radu Negulescu;Xiaohua Kong
Affiliations:
-;-
Venue:
ACSD '01 Proceedings of the Second International Conference on Application of Concurrency to System Design
Year:
2001

Citing 0
Cited 1

Refinement-Based Formal Verification of Asynchronous Wrappers for Independently Clocked Domains in Systems on Chip

CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods

Quantified Score

Hi-index	0.00

Visualization

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.