Sciweavers

22 search results - page 4 / 5
» glvlsi 2002
Sort
View
GLVLSI
2002
IEEE
160views VLSI» more  GLVLSI 2002»
13 years 10 months ago
Computing walsh, arithmetic, and reed-muller spectral decision diagrams using graph transformations
Spectral techniques have found many applications in computeraided design, including synthesis, verification, and testing. Decision diagram representations permit spectral coeffici...
Whitney J. Townsend, Mitchell A. Thornton, Rolf Dr...
GLVLSI
2002
IEEE
95views VLSI» more  GLVLSI 2002»
13 years 10 months ago
Term ordering problem on MDG
As an efficient representation of Extended Finite State Machines, Multiway Decision Graphs (MDG) are suitable for automatic hardware verification of Register Transfer Level (RTL) ...
Yi Feng, Eduard Cerny
GLVLSI
2002
IEEE
109views VLSI» more  GLVLSI 2002»
13 years 10 months ago
Minimizing resources in a repeating schedule for a split-node data-flow graph
Many computation-intensive or recursive applications commonly found in digital signal processing and image processing applications can be represented by data-flow graphs (DFGs). ...
Timothy W. O'Neil, Edwin Hsing-Mean Sha
GLVLSI
2002
IEEE
136views VLSI» more  GLVLSI 2002»
13 years 10 months ago
Test generation for resistive opens in CMOS
This paper develops new techniques for detecting both stuck-open faults and resistive open faults, which result in increased delays along some paths. The improved detection of CMO...
Arun Krishnamachary, Jacob A. Abraham
GLVLSI
2002
IEEE
135views VLSI» more  GLVLSI 2002»
13 years 10 months ago
Low swing dual threshold voltage domino logic
A low swing domino logic technique is proposed to decrease power consumption without sacrificing noise immunity. With the proposed low swing domino logic circuit technique, active...
Volkan Kursun, Eby G. Friedman