DocumentCode :
2721811
Title :
MOVE: model verification system
Author :
Kang, Sungho ; Szygenda, Stephen A.
Author_Institution :
Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
fYear :
1991
fDate :
27-30 Mar 1991
Firstpage :
762
Lastpage :
768
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 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
Keywords :
circuit CAD; CAD system; MOVE; automated model generating system; functional correctness checking; functional primitives; heuristics; model correctness; model verification system; signal interconnections; Automatic logic units; Automatic programming; Buildings; Circuit simulation; Design automation; Digital systems; Logic design; Logic devices; Prototypes; Signal generators;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computers and Communications, 1991. Conference Proceedings., Tenth Annual International Phoenix Conference on
Conference_Location :
Scottsdale, AZ
Print_ISBN :
0-8186-2133-8
Type :
conf
DOI :
10.1109/PCCC.1991.113891
Filename :
113891
Link To Document :
بازگشت