Sciweavers

ICCAD
2003
IEEE
100views Hardware» more  ICCAD 2003»
14 years 8 months ago
A Theory of Non-Deterministic Networks
Both non-determinism and multi-level networks compactly characterize the flexibility allowed in implementing a circuit. A theory for representing and manipulating non-deterministi...
Alan Mishchenko, Robert K. Brayton