GitHub repository: CakeML/hardware
Primary language: Standard ML
Created: 2016-12-07T07:27:35Z
Description: Verilog development and verification project for HOL4