Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/association-for-computing-machinery/atm-switch-design-by-high-level-modeling-formal-verification-and-high-0Kh8v3sRwM
References
References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.
- Publisher
- Association for Computing Machinery
- Copyright
- Copyright © 1998 by ACM Inc.
- ISSN
- 1084-4309
- DOI
- 10.1145/296333.296342
- Publisher site
- See Article on Publisher Site
Abstract
Asynchronous Transfer Mode (ATM) has emerged as a backbone for high-speed broadband telecommunication networks. In this paper, we present ATM switch design, starting from a parametric high-level model and debugging the model using a combination of formal verification and simulation. The model has been used to synthesize ATM switches according to customers' choices, by choosing concrete values for each of the generic parameters. We provide a pragmatic combination of simulation, model checking, and theorem proving to gain confidence in the ATM switch design correctness.
Journal
ACM Transactions on Design Automation of Electronic Systems (TODAES) – Association for Computing Machinery
Published: Oct 1, 1998