Rajiv Bhateja and Randy H. Katz

EECS Department, University of California, Berkeley

Technical Report No. UCB/CSD-87-315

, 1987

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},
    Year= {1987},
    Month= {Oct},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1987/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 1987
%@ UCB/CSD-87-315
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1987/6009.html
%F Bhateja:CSD-87-315