include/rv/da_monitor.h | 145 ++++++++++++++---- include/rv/ha_monitor.h | 91 ++++++++++- include/rv/ltl_monitor.h | 1 + kernel/trace/rv/monitors/deadline/deadline.h | 3 +- kernel/trace/rv/monitors/nomiss/nomiss.c | 4 +- kernel/trace/rv/monitors/opid/opid.c | 12 +- kernel/trace/rv/monitors/stall/stall.c | 4 +- tools/verification/rvgen/rvgen/dot2k.py | 19 ++- .../rvgen/rvgen/templates/dot2k/main.c | 4 +- 9 files changed, 234 insertions(+), 49 deletions(-)