Automatic verification of models described in VHDL

A scheme for the automatic verification of models described in VHDL (the VHSIC hardware description language) is proposed. For models with many constraints it becomes exceedingly difficult to verify their validity. In the proposed scheme the specifications for the system, i.e. the timing constraints...

Full description

Saved in:
Bibliographic Details
Published inIEEE Proceedings on Southeastcon pp. 1072 - 1076 vol.3
Main Authors Ardeishar, R., Armstrong, J.R.
Format Conference Proceeding
LanguageEnglish
Published IEEE 1990
Subjects
Boolean functions
Hardware design languages
Logic design
Testing
Timing
Very high speed integrated circuits
Online AccessGet full text

Cover

More Information
Summary:A scheme for the automatic verification of models described in VHDL (the VHSIC hardware description language) is proposed. For models with many constraints it becomes exceedingly difficult to verify their validity. In the proposed scheme the specifications for the system, i.e. the timing constraints and relations between the inputs and outputs, are described by the designer in modified linear time temporal logic, which is an extension of traditional logic and can describe timing relations among variables. Tests and simulations are conducted on the model described in VHDL, based on the given specifications. The outputs of the simulations are evaluated and compared with expected results. Discrepancies from the given specifications are reported.< >
DOI:10.1109/SECON.1990.117985