MOVE

Model verification system

Sungho Kang, Stephen A. Szygenda

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 languageEnglish
Title of host publicationConference Proceedings - Annual Phoenix Conference
PublisherPubl by IEEE
Pages762-768
Number of pages7
ISBN (Print)0818621338
Publication statusPublished - 1991 Mar 1
EventProceedings of the 10th Annual International Phoenix Conference on Computers and Communications - Scottsdale, AZ, USA
Duration: 1991 Mar 271991 Mar 30

Other

OtherProceedings of the 10th Annual International Phoenix Conference on Computers and Communications
CityScottsdale, AZ, USA
Period91/3/2791/3/30

Fingerprint

Computer aided design

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Cite this

Kang, S., & Szygenda, S. A. (1991). MOVE: Model verification system. In Conference Proceedings - Annual Phoenix Conference (pp. 762-768). Publ by IEEE.
Kang, Sungho ; Szygenda, Stephen A. / MOVE : Model verification system. Conference Proceedings - Annual Phoenix Conference. Publ by IEEE, 1991. pp. 762-768
@inproceedings{d5926e8e0df0458a96376b689743fc4c,
title = "MOVE: Model verification system",
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.",
author = "Sungho Kang and Szygenda, {Stephen A.}",
year = "1991",
month = "3",
day = "1",
language = "English",
isbn = "0818621338",
pages = "762--768",
booktitle = "Conference Proceedings - Annual Phoenix Conference",
publisher = "Publ by IEEE",

}

Kang, S & Szygenda, SA 1991, MOVE: Model verification system. in Conference Proceedings - Annual Phoenix Conference. Publ by IEEE, pp. 762-768, Proceedings of the 10th Annual International Phoenix Conference on Computers and Communications, Scottsdale, AZ, USA, 91/3/27.

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

SN - 0818621338

SP - 762

EP - 768

BT - Conference Proceedings - Annual Phoenix Conference

PB - Publ by IEEE

ER -

Kang S, Szygenda SA. MOVE: Model verification system. In Conference Proceedings - Annual Phoenix Conference. Publ by IEEE. 1991. p. 762-768