Explore @xprova Open Source projects

Xprova (@xprova)

xprova

Stars
26
Global Org. Rank 106,210 (Top 34 %)
Registered over 8 years ago
Most used languages

Java
60.0 %

JavaScript
20.0 %

MATLAB
20.0 %
Location 🇬🇧 United Kingdom
Country Total Rank 19,593
Country Ranking

MATLAB
820

Java
1,282

netlist-graph

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

xprova

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

bisect-tau

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

vetrina

Modern web-based front-end for command line tools

piccolo-cli-lib

Tiny (but powerful) command line interface library for Java