Abstract
The notion of a well-designed circuit is introduced, and improvements are presented to the earlier switch-level simulators of Bryant [B80] and Lipton, Sedgewick, and Valdes [LSV81], so that race conditions can be detected, and undefined values can be handled in a clean and simple way in these circuits.

This publication has 0 references indexed in Scilit: