Sciweavers

ICCD
1993
IEEE
94views Hardware» more  ICCD 1993»
14 years 4 months ago
Symbolic Analysis Methods for Masks, Circuits, and Systems
Symbolic representations of systems can achieve a high degree of compaction relative to more explicit forms. By casting an analysis task in terms of operations on a symbolic repre...
Randal E. Bryant