RTL assertion mining with automated RTL-to-TLM abstraction

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
ilmumisaasta
leheküljed
8 p. : ill
konverentsi nimetus, aeg
2019 Forum on specification & Design Languages (FDL), 2-4 September 2019
konverentsi toimumispaik
Southampton, UK
ISSN
1636-9874
ISBN
978-1-7281-4113-8
978-1-7281-4114-5
märkused
Bibliogr.: 38 ref
TTÜ struktuuriüksus
keel
inglise
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