Formalization and validation of the std logic-1164 and numeric-std VHDL packages using the nqthm theorem prover
author
DuĊĦina, Julia
Borrione, Dominique
statement of authorship
J. Dushina, D. Borrione
source
2nd Workshop on Libraries, Component Modeling and Quality Assurance : proceedings : Toledo, Spain, April, 1997
location of publication
Santander
publisher
Publication Service of the University of Cantabria
year of publication
1997
pages
p. 169-180
conference name, date
2nd Workshop on Libraries, Component Modeling and Quality Assurance, April 23-25, 1997
conference location
Toledo, Spain
subject term
VHDL (programmeerimiskeel)
ISBN
84-8102-159-8
language
inglise