DocumentCode
2290431
Title
Congruent weak conformance
Author
Brower, Ronald W. ; Stevens, Kenneth S.
Author_Institution
Air Force Inst. of Technol., Wright-Patterson AFB, OH, USA
Volume
2
fYear
2001
fDate
2001
Firstpage
666
Abstract
Congruent weak conformance is a property between formal models capturing the desired relationship between a specification and its implementation by allowing unused and redundant circuitry and tolerating unspecified behavior in the unreachable state space. By providing greater flexibility in design than previous properties, it becomes a useful tool to validate transformational systems, such as logic synthesis and hardware description language translation systems
Keywords
formal specification; hardware description languages; logic CAD; process algebra; redundancy; state-space methods; congruent weak conformance; formal models; hardware description language; hardware equivalence; logic synthesis; process algebras; redundant circuitry; specification; transformational systems; translation systems; unreachable state space; unspecified behavior; Algebra; Carbon capture and storage; Circuit testing; Concurrent computing; Delay; Hardware; Interleaved codes; Logic testing; Pins; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 2001. MWSCAS 2001. Proceedings of the 44th IEEE 2001 Midwest Symposium on
Conference_Location
Dayton, OH
Print_ISBN
0-7803-7150-X
Type
conf
DOI
10.1109/MWSCAS.2001.986276
Filename
986276
Link To Document