Model checking of a real ATM switch

Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors

Volumn , Issue , 1998, Pages 195-198

  Lu, Jianping ^a   Tahar, Sofiene ^a   Voicu, Dan ^a   Song, Xiaoyu ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

BUFFER STORAGE; COMPUTER HARDWARE; DATA STORAGE EQUIPMENT; ERROR CORRECTION; FLIP FLOP CIRCUITS; SHIFT REGISTERS;

MODEL CHECKING; REAL ATM SWITCH; VERIFICATION INTERACTING WITH SYNTHESIS;

ASYNCHRONOUS TRANSFER MODE;

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

References (13)