GitHub repository: xprova/xprova
Primary language: Java
Created: 2016-05-12T18:00:47Z
Description: Formal verification engine for Verilog with built-in support for simulating flip-flop metastability