Abstract
We present a high-level ATM switch design methodology, beginning with parametric high-level model, debugging the model using a combination of formal verification and simulation, and synthesizing the model to a gate-level implementation. Our parametric model of an ATM switch has been used to automatically synthesize ATM switches of customers' choices by choosing concrete values of the generic parameters. The difficulty in validating ATM switch design arises not only due to parametrization, but also due to delicate control module design involved in concurrent processes communicating through shared signals. We provide a pragmatic combination of simulation, model checking, and theorem proving to gain confidence in the correctness of ATM switch design.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
