Jan de Muijnck-Hughes
  • Blog
    Posts Tags
  • Research
    About Studying with Me Working with Me
  • Activities
    Talks Service Teaching
  • People
    Current Alumni
  • Publications
    Theses Papers

plas


Formalising the (Sub-)Structural Aspects of SystemVerilog

 Posted on 2021-03-08

idris  soc  hardware  substructural-type-systems  dependent-types  border-patrol  tdd  plas 

Jan de Muijnck-Hughes  • © 2023  •  Jan de Muijnck-Hughes

Hugo v0.118.2 powered  •  Theme Beautiful Hugo adapted from Beautiful Jekyll