Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification

Table 2

Runtime measurements for producer and consumer in the online CEC scenario.

Test function	Producer [s]						Consumer [s]
	Odin	ABC	T-VPack	VPR	PicoSAT	ComPose	DeComPose	ABC^'	TraceCheck
Converter	0.187	0.348	0.005	2.040	0.008	0.080	0.004	0.148	0.013
128-bit parity	0.194	0.350	0.100	10.892	0.036	0.111	0.007	0.156	0.027
8-bit add/sub	0.183	0.273	0.007	2.126	0.015	0.034	0.004	0.201	0.010
16-bit add/sub	0.122	0.279	0.011	5.520	0.048	0.074	0.004	0.206	0.035
32-bit add/sub	0.186	0.330	0.012	14.428	0.099	0.154	0.009	0.215	0.059
64-bit add/sub	0.195	0.432	0.220	40.674	0.244	0.327	0.015	0.234	0.126
6-bit multiplier	0.179	0.332	0.008	5.304	0.540	0.145	0.009	0.234	0.483
8-bit multiplier	0.184	0.450	0.010	13.205	15.337	1.148	0.123	0.213	11.179
10-bit multiplier	0.183	0.645	0.014	26.589	256.119	18.849	1.807	0.214	190.630
16-bit multiplier	0.205	1.473	0.040	133.814	3732.031*
32-bit multiplier	0.229	6.236	0.163	2116.210	3895.797*
64-bit multiplier	0.527	27.424	0.726	36447.768	6387.947*