@article{OFM+5,
title = {Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance Versus Precision Tradeoffs },
author = {Oulkaid, Oussama and Ferres, Bruno and Moy, Matthieu and Raymond, Pascal and Khosravian, Mehdi},
year = {2025},
journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
pages = {1-1},
team = {SYNC},
}
