@inproceedings{OFM+4,
title = { {A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving} },
author = {Oulkaid, Oussama and Ferres, Bruno and Moy, Matthieu and Raymond, Pascal and Khosravian, Mehdi and Henrio, Ludovic and Radanne, Gabriel},
month = {Mar},
year = {2024},
booktitle = {{Design, Automation and Test in Europe Conference}},
address = {Valencia, Spain},
team = {SYNC, axe_SharedResources},
pdf = {https://hal.science/hal-04527225/file/date2024.pdf},
hal_id = {hal-04527225},
hal_version = {v1},
}