16th International Conference on Electronics, Communications and Computers (CONIELECOMP'06) Improving the Digital Design with Semi-formal Specification Cholula, Puebla, Mexico February 27-March 01 ISBN: 0-7695-2505-9
In this work, an improvement of the traditional design methodology is proposed. The major change is the use of semi-formal specification for the implementation and the establishment of properties for the formal verification. From semi-formal specification, assertions were written using Property Specification Language (PSL) for an alignment circuit. Finally, a set of properties for the verification of this module were established and proved using two verification tools. Our statistics proved that, considerable design time was saved, and the number of versions was low.
Index Terms:
Assertion based verification, semiformal specification, model checking tools, properties, assertions
Citation:
Deni Torres-Roman, Joaquin Cortez-Gonzlaez, Raul Ernesto Gonzalez-Torres, "Improving the Digital Design with Semi-formal Specification," conielecomp, pp.55, 16th International Conference on Electronics, Communications and Computers (CONIELECOMP'06), 2006 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb