@inproceedings{fournier:hal-03028409, TITLE = {{Menhir: Generic High-Speed FPGA Model-Checker}}, AUTHOR = {Fournier, {\'E}milien and Teodorov, Ciprian and Lagadec, Lo{\"i}c}, URL = {https://ensta-bretagne.hal.science/hal-03028409}, BOOKTITLE = {{2020 23rd Euromicro Conference on Digital System Design (DSD)}}, ADDRESS = {Kranj, Slovenia}, PUBLISHER = {{IEEE}}, SERIES = {Proceedings - Euromicro Conference on Digital System Design, DSD 2020}, PAGES = {65-72}, YEAR = {2020}, MONTH = Aug, DOI = {10.1109/DSD51259.2020.00022}, KEYWORDS = {Computer hardware description languages ; Field programmable gate arrays (FPGA) ; Formal verification ; Modeling languages ; Semantics ; Systems analysis}, HAL_ID = {hal-03028409}, HAL_VERSION = {v1}, }