Total Module Definition Coverage Summary 

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
90.61	98.04	80.65	100.00	92.31	97.67	75.00

Total modules in report: 7

---

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
prim_sync_reqack	77.50	100.00	60.00			100.00	50.00
rstmgr_cnsty_chk	94.99	96.49	84.62	100.00	92.31	96.55	100.00
prim_sparse_fsm_flop	100.00	100.00					100.00
prim_generic_flop	100.00	100.00				100.00
prim_flop
prim_flop_2sync
tb