Xprova

Popular repositories Loading

1. netlist-graph netlist-graphPublic

   Java library for parsing and manipulating graph representations of gate-level Verilog netlists

   Java 15 8

2. xprova xprovaPublic

   Formal verification engine for Verilog with built-in support for simulating flip-flop metastability

   Java 9 2

3. bisect-tau bisect-tauPublic

   EDA tool for characterizing the metastability resolution time constant (Tau) of bistable circuits

   MATLAB 4 5

4. piccolo-cli-lib piccolo-cli-libPublic

   Tiny (but powerful) command line interface library for Java

   Java 1

5. vetrina vetrinaPublic

   Modern web-based front-end for command line tools

   JavaScript 1 1

6. xprova-website xprova-websitePublic

   HTML