MOVE: model verification system

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 observation that if there exists an error in the generated model, it...

Full description

Saved in:
Bibliographic Details
Main Authors: Kang, S., Szygenda, S.A.
Format: Conference Proceeding
Language:English
Subjects:
Automatic logic units
Automatic programming
Buildings
Circuit simulation
Design automation
Digital systems
Logic design
Logic devices
Prototypes
Signal generators
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 observation 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.< >
DOI:10.1109/PCCC.1991.113891