By Topic

Semihiding operators and active-edge specification

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Xiaohua Kong ; Dept. of Electr. & Comput. Eng., McGill Univ., San Diego, CA ; Negulescu, R.

We introduce a new concurrence operator, called semihiding, for processing low-level digital circuit specifications by identifying their active edges. We define semihiding formally, study its algebraic properties, and overview several of its applications. We show that circuit modules can be mapped to a different timing convention at their interfaces while preserving their functionality (termed "interface recasting"), compliance to a certain timing convention can be verified regardless of functionality, and several families of asynchronous and synchronous circuits can be analyzed with reduced complexity on active-edge specifications obtained by semihiding. We present several validating experiments using a preliminary implementation of semihiding in an existing tool

Published in:

Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on  (Volume:25 ,  Issue: 9 )