Abstract | ||
---|---|---|
We describe a case study which demonstrates that, by designing with formal verification in mind, a designer can simplify the verification task enormously without sacrificing other design considerations. In addition, the formal specification and verification process can highlight anomalies in a design, and suggest design changes that improve it. The design we considered was a switching fabric for an ATM network switch. It is a real, fabricated component of a working network. |
Year | DOI | Venue |
---|---|---|
1995 | 10.1109/ICECCS.1995.479304 | ICECCS |
Keywords | Field | DocType |
design consideration,verification task,working network,design change,formal specification,verification process,case study,atm network switch,formal verification,testing,asynchronous transfer mode,computer aided software engineering,formal specifications,switches,transmission line theory | Computer architecture,Functional verification,Computer science,Intelligent verification,Network switch,Real-time computing,Asynchronous Transfer Mode,Formal specification,Computer-aided software engineering,Atmosphere (unit),Formal verification | Conference |
ISBN | Citations | PageRank |
0-8186-7123-8 | 2 | 0.41 |
References | Authors | |
2 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
paul curzon | 1 | 17 | 5.43 |
Ian Leslie | 2 | 324 | 83.97 |