@inproceedings{bosio:hal-03887685, TITLE = {{Exploiting assertions mining and fault analysis to guide RTL-level approximation}}, AUTHOR = {Bosio, Alberto and Germiniani, Samuele and Pravadelli, Graziano and Traiola, Marcello}, URL = {https://inria.hal.science/hal-03887685}, BOOKTITLE = {{DATE 2023 -- 26th IEEE/ACM Design, Automation and Test in Europe}}, ADDRESS = {Antwerp, Belgium}, YEAR = {2023}, MONTH = Apr, HAL_ID = {hal-03887685}, HAL_VERSION = {v1}, }