Sciweavers

ICCD
1996
IEEE
170views Hardware» more  ICCD 1996»
14 years 4 months ago
Boolean Function Representation Based on Disjoint-Support Decompositions
The Multi-Level Decomposition Diagrams (MLDDs) of this paper are a canonical representation of Boolean functions expliciting disjoint-support decompositions. MLDDs allow the reduc...
Valeria Bertacco, Maurizio Damiani
ICCD
1996
IEEE
134views Hardware» more  ICCD 1996»
14 years 4 months ago
Pausible Clocking: A First Step Toward Heterogeneous Systems
This paper describes a novel communication scheme, which is guaranteed to be free of synchronization failures, amongst multiple synchronous modules operating independently. In thi...
Kenneth Y. Yun, Ryan P. Donohue
ICCD
1996
IEEE
104views Hardware» more  ICCD 1996»
14 years 4 months ago
Latch Redundancy Removal Without Global Reset
For circuits where there may be latches with no reset line, we show how to replace some of them with combinational logic. All previous work in sequential optimization by latch rem...
Shaz Qadeer, Robert K. Brayton, Vigyan Singhal
ICCD
1996
IEEE
86views Hardware» more  ICCD 1996»
14 years 4 months ago
A Practical Algorithm for Retiming Level-Clocked Circuits
Naresh Maheshwari, Sachin S. Sapatnekar
ICCD
1996
IEEE
83views Hardware» more  ICCD 1996»
14 years 4 months ago
The use of random simulation in formal verification
Florian Krohm, Andreas Kuehlmann, Arjen Mets
ICCD
1996
IEEE
108views Hardware» more  ICCD 1996»
14 years 4 months ago
Module Generators for a Regular Analog Layout
In general, automatic layout composition techniques based on pre-designed devices facilitate the production of small IC numbers by prefabricating their basic structures. They also...
J. Kampe, C. Wisser, G. Scarbata
ICCD
1996
IEEE
80views Hardware» more  ICCD 1996»
14 years 4 months ago
Enhancing FSM Traversal by Temporary Re-Encoding
Gianpiero Cabodi, Luciano Lavagno, Enrico Macii, M...
ICCD
1996
IEEE
145views Hardware» more  ICCD 1996»
14 years 4 months ago
Can Trace-Driven Simulators Accurately Predict Superscalar Performance?
There are four crucial issues associated with performance simulators: simulator retargetability, simulator validation, simulation speed and simulation accuracy. This paper documen...
Bryan Black, Andrew S. Huang, Mikko H. Lipasti, Jo...