Research Article
Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification
Table 5
Memory usage measurements for producer and consumer in the online CEC scenario.
| Test function | Producer | Consumer | Odin | ABC | T-VPack | VPR | PicoSAT | ComPose | DeComPose | ABC' | TraceCheck |
| Converter | 0.997 MiB | 13.79 MiB | 239.6 KiB | 1.207 MiB | 69.42 KiB | 62.17 KiB | 62.12 KiB | 10.06 MiB | 81.00 KiB | 128-bit parity | 935.8 KiB | 13.60 MiB | 310.1 KiB | 3.465 MiB | 189.2 KiB | 61.78 KiB | 61.73 KiB | 9.937 MiB | 181.1 KiB | 8-bit add/sub | 711.4 KiB | 13.90 MiB | 243.5 KiB | 1.218 MiB | 87.71 KiB | 61.62 KiB | 61.58 KiB | 10.54 MiB | 101.1 KiB | 16-bit add/sub | 771.4 KiB | 14.05 MiB | 267.4 KiB | 2.306 MiB | 238.8 KiB | 61.62 KiB | 61.58 KiB | 10.70 MiB | 268.4 KiB | 32-bit add/sub | 899.6 KiB | 14.27 MiB | 315.4 KiB | 4.480 MiB | 488.5 KiB | 61.62 KiB | 61.58 KiB | 10.98 MiB | 485.9 KiB | 64-bit add/sub | 1.130 MiB | 14.58 MiB | 533.8 KiB | 8.341 MiB | 1.010 MiB | 61.62 KiB | 61.58 KiB | 11.69 MiB | 1.038 KiB | 6-bit multiplier | 774.6 KiB | 13.93 MiB | 263.6 KiB | 2.298 MiB | 1.380 MiB | 62.70 KiB | 62.66 KiB | 10.38 MiB | 2.167 MiB | 8-bit multiplier | 803.9 KiB | 13.95 MiB | 301.1 KiB | 4.086 MiB | 25.74 MiB | 64.28 KiB | 64.23 KiB | 10.57 MiB | 43.97 MiB | 10-bit multiplier | 887.3 KiB | 14.10 MiB | 391.9 KiB | 6.425 MiB | 374.8 MiB | 71.20 KiB | 71.15 KiB | 10.87 MiB | 652.8 MiB | 16-bit multiplier | 1.201 MiB | 14.42 MiB | 937.0 KiB | 16.46 MiB | 2.477 GiB* | | | | | 32-bit multiplier | 2.750 MiB | 19.83 MiB | 3.590 MiB | 67.33 MiB | 2.742 GiB* | | | | | 64-bit multiplier | 8.858 MiB | 48.98 MiB | 14.41 MiB | 271.0 MiB | 2.699 GiB* | | | | |
|
|