Model checking of the Fairisle ATM switch fabric using FormalCheck

Canadian Conference on Electrical and Computer Engineering 2001. Conference Proceedings (Cat. No.01TH8555) ◽

10.1109/ccece.2001.933562 ◽

2002 ◽

Author(s):

L. Barakatain ◽

S. Tahar

Keyword(s):

Model Checking ◽

Switch Fabric ◽

Atm Switch

Download Full-text

A fault tolerant reconfigurable ATM switch fabric

IEEE INFCOM '91. The conference on Computer Communications. Tenth Annual Joint Comference of the IEEE Computer and Communications Societies Proceedings ◽

10.1109/infcom.1991.147646 ◽

1991 ◽

Cited By ~ 4

Author(s):

S.-C. Yang ◽

J.A. Silvester

Keyword(s):

Fault Tolerant ◽

Switch Fabric ◽

Atm Switch

Download Full-text

Design and analysis of the Stacked-Banyan ATM switch fabric

Computer Networks ◽

10.1016/s1389-1286(99)00129-2 ◽

2000 ◽

Vol 32 (2) ◽

pp. 171-184 ◽

Cited By ~ 7

Author(s):

B Kraimeche

Keyword(s):

Switch Fabric ◽

Atm Switch

Download Full-text

Performance analysis of ATM switch fabric with Combined-Input/Output Buffering

Journal of Electronics (China) ◽

10.1007/s11767-998-0029-4 ◽

1998 ◽

Vol 15 (3) ◽

pp. 199-207

Author(s):

Yashe Liu ◽

Zengji Liu ◽

Zheng Hu

Keyword(s):

Performance Analysis ◽

Input Output ◽

Switch Fabric ◽

Atm Switch

Download Full-text

A reconfigurable ATM switch fabric for fault tolerance and traffic balancing

IEEE Journal on Selected Areas in Communications ◽

10.1109/49.105167 ◽

1991 ◽

Vol 9 (8) ◽

pp. 1205-1217 ◽

Cited By ~ 7

Author(s):

S.-C. Yang ◽

J.A. Silvester

Keyword(s):

Fault Tolerance ◽

Switch Fabric ◽

Atm Switch ◽

Traffic Balancing

Download Full-text

Selective switching: an enabling technology for high-performance ATM switch fabric

10.1117/12.224204 ◽

1995 ◽

Author(s):

Steven H. Ho ◽

Steve M. Kang

Keyword(s):

High Performance ◽

Enabling Technology ◽

Switch Fabric ◽

Atm Switch

Download Full-text

Performance of a crosspoint buffered ATM switch fabric

[Proceedings] IEEE INFOCOM '92: The Conference on Computer Communications ◽

10.1109/infcom.1992.263582 ◽

1992 ◽

Cited By ~ 14

Author(s):

P. Goli ◽

V. Kumar

Keyword(s):

Switch Fabric ◽

Atm Switch

Download Full-text

Behavioral verification of an ATM switch fabric using implicit abstract state enumeration

Proceedings International Conference on Computer Design. VLSI in Computers and Processors ◽

10.1109/iccd.1996.563526 ◽

2002 ◽

Cited By ~ 5

Author(s):

M. Langevin ◽

S. Tahar ◽

Zijian Zhou ◽

Xiaoyu Song ◽

E. Cerny

Keyword(s):

Switch Fabric ◽

Atm Switch ◽

State Enumeration

Download Full-text

Modeling and formal verification of the Fairisle ATM switch fabric using MDGs

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/43.771178 ◽

1999 ◽

Vol 18 (7) ◽

pp. 956-972 ◽

Cited By ~ 15

Author(s):

S. Tahar ◽

Xiaoyu Song ◽

E. Cerny ◽

Zijian Zhou ◽

M. Langevin ◽

...

Keyword(s):

Formal Verification ◽

Switch Fabric ◽

Atm Switch

Download Full-text

Performance analysis of ATM switch fabric with combined-input/output buffering

Proceedings of International Conference on Communication Technology. ICCT '96 ◽

10.1109/icct.1996.545233 ◽

2002 ◽

Author(s):

Liu Yashe ◽

Liu Zengji

Keyword(s):

Performance Analysis ◽

Input Output ◽

Switch Fabric ◽

Atm Switch

Download Full-text

Formal verification of an ATM switch fabric using multiway decision graphs

Proceedings of the Sixth Great Lakes Symposium on VLSI ◽

10.1109/glsv.1996.497603 ◽

2002 ◽

Cited By ~ 12

Author(s):

S. Tahar ◽

Zijian Zhou ◽

Xiaoyu Song ◽

E. Cerny ◽

M. Langevin

Keyword(s):

Formal Verification ◽

Switch Fabric ◽

Atm Switch ◽

Multiway Decision Graphs

Download Full-text