Sciweavers

Share
225 search results - page 1 / 45
» Sequential Circuits for Relational Analysis
Sort
View
ICSE
2007
IEEE-ACM
12 years 1 months ago
Sequential Circuits for Relational Analysis
The Alloy tool-set has been gaining popularity as an alternative to traditional manual testing and checking for design correctness. Alloy uses a first-order relational logic for m...
Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid
ATS
2000
IEEE
134views Hardware» more  ATS 2000»
11 years 5 months ago
Fsimac: a fault simulator for asynchronous sequential circuits
At very high frequencies, the major potential of asynchronous circuits is absence of clock skew and, through that, better exploitation of relative timing relations. This paper pre...
Susmita Sur-Kolay, Marly Roncken, Ken S. Stevens, ...
ISLPED
1997
ACM
106views Hardware» more  ISLPED 1997»
11 years 4 months ago
A sequential procedure for average power analysis of sequential circuits
A new statistical technique for average power estimation in sequential circuits is presented. Due to the feedback mechanism, conventional statistical procedures cannot be applied ...
Li-Pen Yuan, Sung-Mo Kang
ICCD
2006
IEEE
111views Hardware» more  ICCD 2006»
11 years 10 months ago
Implicit Search-Space Aware Cofactor Expansion: A Novel Preimage Computation Technique
Abstract— In this paper, we introduce a novel preimage computation technique that directly computes the circuit cofactors without an explicit search for any satisfiable solution...
Kameshwar Chandrasekar, Michael S. Hsiao
DAC
1995
ACM
11 years 4 months ago
Automatic Clock Abstraction from Sequential Circuits
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
Samir Jain, Randal E. Bryant, Alok Jain
books