| 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 |
