Formalization and validation of the std logic-1164 and numeric-std VHDL packages using the nqthm theorem prover
vastutusandmed
J. Dushina, D. Borrione
allikas
2nd Workshop on Libraries, Component Modeling and Quality Assurance : proceedings : Toledo, Spain, April, 1997
ilmumiskoht
Santander
kirjastus/väljaandja
Publication Service of the University of Cantabria
ilmumisaasta
leheküljed
p. 169-180
konverentsi nimetus, aeg
2nd Workshop on Libraries, Component Modeling and Quality Assurance, April 23-25, 1997
konverentsi toimumispaik
Toledo, Spain
märksõna
ISBN
84-8102-159-8
keel
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.