Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

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