Rajiv Bhateja and Randy H. Katz
EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-87-315
October 1986
http://www2.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://www2.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://www2.eecs.berkeley.edu/Pubs/TechRpts/1986/6009.html %F Bhateja:CSD-87-315