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
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;
Conference_Titel :
Design Automation, 1987. 24th Conference on
Print_ISBN :
0-8186-0781-5
DOI :
10.1109/DAC.1987.203263
