A Validation Subsystem of a Version Server for Computer-Aided Design Data
Rajiv Bhateja and Randy H. Katz
EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-87-315
October 1986
http://www.eecs.berkeley.edu/Pubs/TechRpts/1987/CSD-87-315.pdf
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.
BibTeX citation:
@techreport{Bhateja:CSD-87-315,
Author = {Bhateja, Rajiv and Katz, Randy H.},
Title = {A Validation Subsystem of a Version Server for Computer-Aided Design Data},
Institution = {EECS Department, University of California, Berkeley},
Year = {1986},
Month = {Oct},
URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1986/6009.html},
Number = {UCB/CSD-87-315},
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.}
}
EndNote citation:
%0 Report %A Bhateja, Rajiv %A Katz, Randy H. %T A Validation Subsystem of a Version Server for Computer-Aided Design Data %I EECS Department, University of California, Berkeley %D 1986 %@ UCB/CSD-87-315 %U http://www.eecs.berkeley.edu/Pubs/TechRpts/1986/6009.html %F Bhateja:CSD-87-315