Dushina, J., Borrione, D. - TalTech Research Portal

full record print

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

ISBN

84-8102-159-8

language

inglise

Märksõnad ja võtmesõnad

subject term

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.