A formal approach to hardware design | lit.salon