Hardware/Software Co-Design

@inproceedings{drzevitzky2009_reconfig,
  author = {Stephanie Drzevitzky AND Uwe Kastens AND Marco Platzner},
  title = {Proof-carrying Hardware: Towards Runtime Verification of Reconfigurable Modules},
  booktitle = {Proceedings of the International Conference on ReConFigurable Computing and FPGAs},
  year = {2009}
}