Sciweavers

ICECCS
1996
IEEE
107views Hardware» more  ICECCS 1996»
14 years 27 days ago
Toward a Recommended Practice for Architectural Description
The Architecture Planning Group (APG) was chartered by IEEE's Software Engineering Standards Committee to set a direction for incorporating architectural thinking into IEEE s...
Walter J. Ellis, Richard F. Hilliard II, Thomas F....
ICCD
1996
IEEE
134views Hardware» more  ICCD 1996»
14 years 27 days 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 27 days 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 27 days ago
A Practical Algorithm for Retiming Level-Clocked Circuits
Naresh Maheshwari, Sachin S. Sapatnekar
ICCD
1996
IEEE
83views Hardware» more  ICCD 1996»
14 years 27 days 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 27 days 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 27 days 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 27 days 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...
ICCAD
1996
IEEE
111views Hardware» more  ICCAD 1996»
14 years 27 days ago
Multi-level spectral hypergraph partitioning with arbitrary vertex sizes
This paper presents a new spectral partitioning formulation which directly incorporates vertex size information. The new formulation results in a generalized eigenvalue problem, a...
Jason Y. Zien, Martine D. F. Schlag, Pak K. Chan