Abstract
The authors address the issue of model correctness in an automated model generating system for a CAD system. They have designed a verification system called the model verifier (MOVE) to solve this problem. This approach is based on observing that if there exists an error in the generated model, it is in the functional primitives or the signal interconnections. Therefore, to verify the model, functional correctness checking for primitives and connection correctness checking for interconnections between primitives are used. The reason for the use of two distinct approaches in functional checking is to verify the models efficiently by overcoming the limitations of two approaches and using some heuristics. The advantage of this method is that it can efficiently verify the models and can be used in a practical sense.
Original language | English |
---|---|
Title of host publication | Conference Proceedings - Annual Phoenix Conference |
Publisher | Publ by IEEE |
Pages | 762-768 |
Number of pages | 7 |
ISBN (Print) | 0818621338 |
Publication status | Published - 1991 Mar 1 |
Event | Proceedings of the 10th Annual International Phoenix Conference on Computers and Communications - Scottsdale, AZ, USA Duration: 1991 Mar 27 → 1991 Mar 30 |
Other
Other | Proceedings of the 10th Annual International Phoenix Conference on Computers and Communications |
---|---|
City | Scottsdale, AZ, USA |
Period | 91/3/27 → 91/3/30 |
Fingerprint
All Science Journal Classification (ASJC) codes
- Engineering(all)
Cite this
}
MOVE : Model verification system. / Kang, Sungho; Szygenda, Stephen A.
Conference Proceedings - Annual Phoenix Conference. Publ by IEEE, 1991. p. 762-768.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
TY - GEN
T1 - MOVE
T2 - Model verification system
AU - Kang, Sungho
AU - Szygenda, Stephen A.
PY - 1991/3/1
Y1 - 1991/3/1
N2 - The authors address the issue of model correctness in an automated model generating system for a CAD system. They have designed a verification system called the model verifier (MOVE) to solve this problem. This approach is based on observing that if there exists an error in the generated model, it is in the functional primitives or the signal interconnections. Therefore, to verify the model, functional correctness checking for primitives and connection correctness checking for interconnections between primitives are used. The reason for the use of two distinct approaches in functional checking is to verify the models efficiently by overcoming the limitations of two approaches and using some heuristics. The advantage of this method is that it can efficiently verify the models and can be used in a practical sense.
AB - The authors address the issue of model correctness in an automated model generating system for a CAD system. They have designed a verification system called the model verifier (MOVE) to solve this problem. This approach is based on observing that if there exists an error in the generated model, it is in the functional primitives or the signal interconnections. Therefore, to verify the model, functional correctness checking for primitives and connection correctness checking for interconnections between primitives are used. The reason for the use of two distinct approaches in functional checking is to verify the models efficiently by overcoming the limitations of two approaches and using some heuristics. The advantage of this method is that it can efficiently verify the models and can be used in a practical sense.
UR - http://www.scopus.com/inward/record.url?scp=0026116890&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0026116890&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:0026116890
SN - 0818621338
SP - 762
EP - 768
BT - Conference Proceedings - Annual Phoenix Conference
PB - Publ by IEEE
ER -