A Type-System for describing System-on-a-Chip Architectures. Posted on 2018-04-05idris soc hardware linear-types dependent-types" border-patrol tdd stacs-fp