GitHub repository: rsnikhil/Bluespec_BSV_Formal_Semantics
Primary language: Haskell
Created: 2015-07-28T14:39:02Z
Description: Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document