Formalization and validation of the std logic-1164 and numeric-std VHDL packages using the nqthm theorem prover
author
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
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
ISBN
84-8102-159-8
language
inglise
Dushina, J., Borrione, D. Formalization and validation of the std logic-1164 and numeric-std VHDL packages using the nqthm theorem prover // 2nd Workshop on Libraries, Component Modeling and Quality Assurance : proceedings : Toledo, Spain, April, 1997. Santander : Publication Service of the University of Cantabria, 1997. p. 169-180.