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

Authors:
R. Bhateja;R. H. Katz
Affiliations:
Computer Science Division, Electrical Engineering and Computer Science Department, Universty of California, Berkeley, Berkeley, CA;Computer Science Division, Electrical Engineering and Computer Science Department, Universty of California, Berkeley, Berkeley, CA
Venue:
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Year:
1987

Citing 5
Cited 6

Programming in Prolog (2nd ed.)

Programming in Prolog (2nd ed.)
Version modeling concepts for computer-aided design databases

SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
A version server for computer-aided design data

DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
A design system approach to data integrity

DAC '82 Proceedings of the 19th Design Automation Conference
A Validation Subsystem of a Version Server for Computer-Aided Design

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

Protection and versioning for OCT

DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
FACE core environment: the model and its application in CAE/CAD tool development

DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Toward a unified framework for version modeling in engineering databases

ACM Computing Surveys (CSUR)
GARDEN—an integrated and evolving environment for ULSI/VLSI CAD applications

IBM Systems Journal
A tightly coupled approach to design and data management

EURO-DAC '94 Proceedings of the conference on European design automation
FICOM: a framework for incremental consistency maintenance in multi-representation, structural VLSI databases

ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design

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.