Embedding

[Google Scholar]

Notes:
Papers: boulton:tpcd:1993

  • Experience with embedding hardware description languages in HOL [boulton:tpcd:1993]