Automatic generation of simulation monitors from quantitative constraint formula [system-level verification] | IEEE Conference Publication | IEEE Xplore