Automatic generation of hardware design properties from simulation traces | IEEE Conference Publication | IEEE Xplore