Dushina, J., Borrione, D. - TalTech teadusportaal

täiskirje prindi

Formalization and validation of the std logic-1164 and numeric-std VHDL packages using the nqthm theorem prover

autor

Dušina, Julia

Borrione, Dominique

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

1997

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

ISBN

84-8102-159-8

keel

inglise

Märksõnad ja võtmesõnad

märksõna

VHDL (programmeerimiskeel)

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.