Degrees of formality in shallow embedding hardware description languages in HOL

Angelo, Catia MarcondesCatia MarcondesAngeloClaesen, LucLucClaesenDe Man, HugoHugoDe Man2021-09-292021-09-291994https://imec-publications.be/handle/20.500.12860/15Degrees of formality in shallow embedding hardware description languages in HOLProceedings paper