International Journal of Reconfigurable Computing

Research Article

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

Figure 3

Runtime combinational equivalence checking as a proof of concept study for the proof-carrying hardware concept.
180242.fig.003