A Validation Subsystem of a Version Server for Computer-Aided Design

Authors:
Rajiv Bhateja;Randy H. Katz
Affiliations:
-;-
Venue:
A Validation Subsystem of a Version Server for Computer-Aided Design
Year:
1986

Citing 0
Cited 2

VALKYRIE: a validation subsystem of a version server for computer-aided design data

DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Managing Change in a Computer-Aided Design Database

VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases

Quantified Score

Hi-index	0.00

Visualization

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.