Embedding

[Google Scholar]

Notes:
Papers: boulton:tpcd:1993

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

The opinions expressed are my own views and not my employer’s.