Menhir: Generic High-Speed FPGA Model-Checker | IEEE Conference Publication | IEEE Xplore