Using Complete-1-Distinguishability for FSM equivalence checking

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers

Volumn , Issue , 1996, Pages 346-353

  Ashar, Pranav ^a   Gupta, Aarti ^a   Malik, Sharad ^a  

^a NEC CORPORATION   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; ELECTRIC NETWORK SYNTHESIS; FLIP FLOP CIRCUITS; SEQUENTIAL MACHINES; STATE SPACE METHODS; SYSTEM THEORY;

BISIMULATION RELATION; COMPLETE 1 DISTINGUISHABILITY; FINITE STATE MACHINES (FSMS);

APPLICATION SPECIFIC INTEGRATED CIRCUITS;

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

References (19)