RTL assertion mining with automated RTL-to-TLM abstraction
author
Ghasempouri, Tara
Danese, Alessandro
Pravadelli, Graziano
Bombieri, Nicola
Raik, Jaan
statement of authorship
Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, and Jaan Raik
source
Proceedings of the 2019 Forum on specification & Design Languages (FDL)
location of publication
Danvers
publisher
IEEE
year of publication
2019
pages
8 p. : ill
conference name, date
2019 Forum on specification & Design Languages (FDL), 2-4 September 2019
conference location
Southampton, UK
url
https://doi.org/10.1109/FDL.2019.8876941
subject term
andmekaeve
tarkvaraarendus
arvutisüsteemid
ISSN
1636-9874
ISBN
978-1-7281-4113-8
978-1-7281-4114-5
notes
Bibliogr.: 38 ref
TalTech department
arvutisüsteemide instituut
language
inglise
Reserch Group
Centre of dependable computing systems