Formal verification of an ATM switch fabric using multiway decision graphs

Proceedings of the IEEE Great Lakes Symposium on VLSI

Volumn , Issue , 1996, Pages 106-111

  Tahar, S ^a   Zhou, Z ^a   Song, X ^a   Cerny, E ^a   Langevin, M ^a  

^a UNIVERSITÉ DE MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; DECISION THEORY; GATES (TRANSISTOR); GRAPH THEORY; MATHEMATICAL MODELS; SWITCHING SYSTEMS;

ASYNCHRONOUS TRANSFER MODE;

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

References (9)