include/rv/da_monitor.h | 67 +++++++++---- include/rv/ha_monitor.h | 95 ++++++++++++++++++- 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 | 4 +- 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, 171 insertions(+), 30 deletions(-)