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

Table 3

Runtimes comparison between consumer and producer.

Test function	Consumer	Producer
	Total [s]	Total [s]	workload
Converter	0.165	2.668	93%
128-bit parity	0.190	11.683	98%
8-bit add/sub	0.215	2.638	92%
16-bit add/sub	0.245	6.054	96%
32-bit add/sub	0.283	15.209	98%
64-bit add/sub	0.375	42.092	99%
6-bit multiplier	0.726	6.508	89%
8-bit multiplier	11.515	30.334	72%
10-bit multiplier	192.651	302.339	61%