Op tio na l : run co un te r -
e xampl e test b e n c h e s
Op tio na l : c h oose c h eck s
Op t i o nal: set wa i v e r s
Run d esig n c h ecke r
Ma ke co rr ect i o n s
V iol a t i o n s ?
Run C a t apul t S y n t h esi s
Ge n e ra te d RT L