MOVE: Model verification system

Sungho Kang, Stephen A. Szygenda

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


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
Number of pages7
ISBN (Print)0818621338
Publication statusPublished - 1991 Mar
EventProceedings of the 10th Annual International Phoenix Conference on Computers and Communications - Scottsdale, AZ, USA
Duration: 1991 Mar 271991 Mar 30

Publication series

NameConference Proceedings - Annual Phoenix Conference


OtherProceedings of the 10th Annual International Phoenix Conference on Computers and Communications
CityScottsdale, AZ, USA

All Science Journal Classification (ASJC) codes

  • General Engineering


Dive into the research topics of 'MOVE: Model verification system'. Together they form a unique fingerprint.

Cite this