prindi

RTL assertion mining with automated RTL-to-TLM abstraction

autor
Ghasempouri, Tara
Danese, Alessandro
Pravadelli, Graziano
Bombieri, Nicola
Raik, Jaan
vastutusandmed
Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, and Jaan Raik
allikas
Proceedings of the 2019 Forum on specification & Design Languages (FDL)
ilmumiskoht
Danvers
kirjastus/väljaandja
IEEE
ilmumisaasta
2019
leheküljed
8 p. : ill
konverentsi nimetus, aeg
2019 Forum on specification & Design Languages (FDL), 2-4 September 2019
konverentsi toimumispaik
Southampton, UK
leitav
https://doi.org/10.1109/FDL.2019.8876941
märksõna
andmekaeve
tarkvaraarendus
arvutisüsteemid
ISSN
1636-9874
ISBN
978-1-7281-4113-8
978-1-7281-4114-5
märkused
Bibliogr.: 38 ref
TTÜ struktuuriüksus
arvutisüsteemide instituut
keel
inglise
Uurimisrühm
Usaldusväärsete arvutisüsteemide keskus
Ghasempouri, T., Danese, A., Bombieri, N., Pravadelli, G., Raik, J. RTL assertion mining with automated RTL-to-TLM abstraction // Proceedings of the 2019 Forum on specification & Design Languages (FDL). Danvers : IEEE, 2019. 8 p. : ill. https://doi.org/10.1109/FDL.2019.8876941