DocumentCode
450495
Title
VALKYRIE: A Validation Subsystem of a Version Server for Computer-Aided Design Data
Author
Bhateja, Rajiv ; Katz, Randy H.
Author_Institution
Computer Science Division, Electrical Engineering and Computer Science Department, University of California, Berkeley, Berkeley, CA
fYear
1987
fDate
28-1 June 1987
Firstpage
321
Lastpage
327
Abstract
Design methodologies specify the sequence in which verification programs must be successfully executed to determine a design´s correctness. We present a mechanism for assisting designers in adhering to their methodology, specified as Prolog rules that must match a verification event log. A new version cannot be released if a methodology violation is detected. Designers can query for the source of their violation. The system has been implemented within a prototype Version Server.
Keywords
Databases; Design Systems and Methodologies; Computer science; Database systems; Design automation; Design methodology; Distributed computing; Permission; Process design; Project management; Prototypes; Very large scale integration; Databases; Design Systems and Methodologies;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation, 1987. 24th Conference on
ISSN
0738-100X
Print_ISBN
0-8186-0781-5
Type
conf
DOI
10.1109/DAC.1987.203263
Filename
1586247
Link To Document