Generating monitor circuits for simulation-friendly GSTE assertion graphs | IEEE Conference Publication | IEEE Xplore