Simulation-Based Hardware Verification with a Graph-Based Specification

Table 4

GBS coverage results.

Design	Vector	GBS coverage
		NC%	CC%	EDC%
FPU	100	76.8	100	69.3
	400	100	100	100
	900	100	100	100
MAC	100	83.2	100	74.6
	400	100	100	100
	900	100	100	100
DMA	900	67.2	74.6	63.2
	2100	88.0	91.4	89.1
	4800	95.9	96.3	96.3
XMC	900	71.3	81.6	64.8
	2100	91.4	98.5	89.4
	4800	97.1	98.5	98.5