Title :
Congruent weak conformance
Author :
Brower, Ronald W. ; Stevens, Kenneth S.
Author_Institution :
Air Force Inst. of Technol., Wright-Patterson AFB, OH, USA
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;
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
DOI :
10.1109/MWSCAS.2001.986276
