full record print

RTL assertion mining with automated RTL-to-TLM abstraction

author
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
year of publication
pages
8 p. : ill
conference name, date
2019 Forum on specification & Design Languages (FDL), 2-4 September 2019
conference location
Southampton, UK
url
ISSN
1636-9874
ISBN
978-1-7281-4113-8
978-1-7281-4114-5
notes
Bibliogr.: 38 ref
TTÜ department
language
inglise
Reserch Group
Centre of dependable computing systems
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