Popular repositories Loading

1. CDV CDV Public

   A Perl Tk application that runs regression test suites of large digital circuit designs (written in Verilog, VHDL or SystemVerilog) on Cadence Incisive tools, keeps track of coverage data, driven b…

   Perl 5

2. SIMM SIMM Public

   A C++/SystemC model of NUVA over a cache-coherent multiprocessor (with mesh/torus topology), based on GEM5.

   2

3. LBBDs LBBDs Public

   Lattice-Based Boolean Diagrams (LBBDs) are a new graphical representations of Boolean functions (or any finite-valued functions). This is a toolbox for symbolically manipulating Boolean functions b…

4. Topaz Topaz Public

   Topaz is a specification mining tool, written in Java, intended to extract finite-state machines from logic simulation traces of digital circuit design.

5. UltrasonicRangingPyQt UltrasonicRangingPyQt Public

   A Python class that implements a SONAR graphical interface. We used it with a Raspberry Pi2 kit and a real ultrasonic sensor and a stepper motor to rotate the sensor. However, this class only provi…

   Python

6. TorcsTrackView TorcsTrackView Public

   A car racing simulator with road-mapping capability based on TORCS racing engine.

   Python