An algorithm for locating logic design errors

1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers

Volumn , Issue , 1990, Pages 468-471

  Tomita, Masahiro ^a   Jiang, Hong Hai ^a   Yamamoto, Tamotsu ^a   Hayashi, Yoshihiro ^a  

^a KOBE UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY--BOOLEAN FUNCTIONS; COMPUTER PROGRAMMING--ALGORITHMS;

BOOLEAN VARIABLES; DESIGN ERRORS; LOGIC VERIFICATION;

LOGIC DESIGN;

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

References (9)