Popular repositoriesLoading

1. netlist-graphnetlist-graphPublic

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

   Java 13 8

2. xprovaxprovaPublic

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

   Java 9 2

3. bisect-taubisect-tauPublic

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

   MATLAB 3 3

4. piccolo-cli-libpiccolo-cli-libPublic

   Tiny (but powerful) command line interface library for Java

   Java 1

5. vetrinavetrinaPublic

   Modern web-based front-end for command line tools

   JavaScript 1 1

6. xprova-websitexprova-websitePublic

   HTML