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.
['Rajiv Bhateja', 'Randy H. Katz']
VALKYRIE: A Validation Subsystem of a Version Server for Computer-Aided Design Data