Sciweavers

ICCAD
1990
IEEE
50views Hardware» more  ICCAD 1990»
14 years 23 days ago
An Algorithm for Locating Logic Design Errors
Masahiro Tomita, Hong-Hai Jiang, Tamotsu Yamamoto,...
ICCAD
1990
IEEE
48views Hardware» more  ICCAD 1990»
14 years 23 days ago
Parallel Simulation Algorithms for Grid-Based Analog Signal Processors
Luis Miguel Silveira, Andrew Lumsdaine, Jacob Whit...
ICCAD
1990
IEEE
105views Hardware» more  ICCAD 1990»
14 years 23 days ago
Partial Detectability Profiles
Partial detectability profiles are formed by randomly sampling each fault's detectability and are used in estimating the fault coverage of random input test vectors on combin...
Paul G. Ryan, W. Kent Fuchs
ICCAD
1990
IEEE
57views Hardware» more  ICCAD 1990»
14 years 23 days ago
Floorplanning with Pin Assignment
We present a hierarchicaltechniquefor floorplanning and pin assignment of the general cell layouts. Given a set of cells with their shape lists, a layout aspect ratio, relative po...
Massoud Pedram, Malgorzata Marek-Sadowska, Ernest ...
ICCAD
1990
IEEE
53views Hardware» more  ICCAD 1990»
14 years 23 days ago
A New Method for Assigning Signal Flow Directions to MOS Transistors
Kuen-Jong Lee, Rajiv Gupta, Melvin A. Breuer
ICCAD
1990
IEEE
59views Hardware» more  ICCAD 1990»
14 years 23 days ago
Partitioning of Functional Models of Synchronous Digital Systems
Rajesh K. Gupta, Giovanni De Micheli
ICCAD
1990
IEEE
47views Hardware» more  ICCAD 1990»
14 years 23 days ago
Observability Don't Care Sets and Boolean Relations
Maurizio Damiani, Giovanni De Micheli
ICCAD
1990
IEEE
51views Hardware» more  ICCAD 1990»
14 years 23 days ago
A Unified Framework for the Formal Verification of Sequential Circuits
Olivier Coudert, Jean Christophe Madre