Test generation for networks of interacting FSMs using symbolic techniques

Proceedings of the IEEE Great Lakes Symposium on VLSI

Volumn , Issue , 1996, Pages 208-213

  Ferrandi, F ^a   Fummi, F ^a   Macii, E ^a   Poncino, M ^a   Sciuto, D ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; CODES (SYMBOLS); ELECTRIC NETWORK SYNTHESIS; PRINTED CIRCUIT DESIGN; TESTING;

TESTING STRATEGY;

FINITE AUTOMATA;

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

References (9)