Hardware/Software Co-Design

@article{drzevitzky10_ijrc,
  author = {Stephanie Drzevitzky AND Uwe Kastens AND Marco Platzner},
  title = {{Proof-Carrying Hardware: Concepts and Prototype Tool Flow for Online Verification}},
  journal = {International Journal of Reconfigurable Computing},
  year = {2010},
  volume = {2010},
  number = {},
  pages = {11},
  month = {},
  note = {Article ID 180242}
}