PROOFS: A fast, memory efficient sequential circuit fault simulator

27th ACM/IEEE Design Automation Conference. Proceedings 1990

Volumn , Issue , 1990, Pages 535-540

  Niermann, Thomas M ^a   Cheng, Wu Tung ^a   Patel, Janak H ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION - APPLICATIONS; SWITCHING THEORY - SEQUENTIAL SWITCHING;

SYNCHRONOUS SEQUENTIAL CIRCUITS;

LOGIC CIRCUITS, SEQUENTIAL;

EID: 0025565157     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)