Simulation-Based Hardware Verification with a Graph-Based Specification

Table 3

Code coverage comparison between the semiformal method and CRT method.

Design	Vector	Code coverage
		The semiformal method			CRT method
		BC%	EC%	TC%/FC%	BC%	EC%	TC%/FC%
FPU	100	62.4	44.2	74.3/-	57.8	40.8	68.2/-
	400	79.6	67.9	91.2/-	68.5	58.2	84.0/-
	900	95.6	79.5	95.1/-	89.4	74.7	92.4/-
MAC	100	69.7	56.4	72.8/-	64.7	51.7	70.1/-
	400	82.1	77.2	89.6/-	78.2	69.3	83.2/-
	900	97.0	86.8	92.1/-	95.1	84.1	88.7/-
DMA	900	87.6	85.7	-/92.4	75.1	70.4	-/89.8
	2100	92.8	92.3	-/95.1	85.9	89.5	-/94.9
	4800	96.2	100	-/100	96.2	98.7	-/100
XMC	900	90.8	86.2	-/93.5	86.2	81.5	-/91.4
	2100	94.7	96.4	-/96.2	92.0	93.9	-/95.7
	4800	97.3	100	-/100	97.3	100	-/100