Congruent weak conformance

Update Item Information
Publication Type Journal Article
School or College College of Engineering
Department Electrical & Computer Engineering
Creator Stevens, Kenneth
Other Author Brower, Ronald W.
Title Congruent weak conformance
Date 2001
Description 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 unspec4jied behavior in the unreachable state space. By providing greater flexibility in design than previous properties, U becomes a useful tool to validate transformational systems, such as logic synthesis and hardware description language translation systems.
Type Text
Publisher Institute of Electrical and Electronics Engineers (IEEE)
First Page 666
Last Page 669
Language eng
Bibliographic Citation Brower, R. W., & Stevens, K. S. (2001). Congruent weak conformance. 44th IEEE Midwest Symposium of Circuits and Systems (MWSCAS 2001), 666-9. Aug.
Rights Management (c) 2001 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Format Medium application/pdf
Format Extent 256,591 bytes
Identifier ir-main,15295
ARK ark:/87278/s6p84wfk
Setname ir_uspace
ID 706353
Reference URL https://collections.lib.utah.edu/ark:/87278/s6p84wfk
Back to Search Results