@article{OFM+5,
title = { {Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance vs. Precision Trade-offs} },
author = {Oulkaid, Oussama and Ferres, Bruno and Moy, Matthieu and Raymond, Pascal and Khosravian, Mehdi},
month = {Sep},
year = {2025},
journal = {{IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems}},
publisher = {{IEEE}},
team = {SYNC},
pdf = {https://hal.science/hal-05290989v1/file/article.pdf},
hal_id = {hal-05290989},
hal_version = {v1},
}
