![](/img/cover-not-exists.png)
Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification
Drzevitzky, Stephanie, Kastens, Uwe, Platzner, MarcoVolume:
2010
Year:
2010
Language:
english
Journal:
International Journal of Reconfigurable Computing
DOI:
10.1155/2010/180242
File:
PDF, 1.43 MB
english, 2010