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 6 1

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

   2

3. 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 is a specification mining tool, written in Java, intended to extract finite-state machines from logic simulation traces of digital circuit design.

5. 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. A car racing simulator with road-mapping capability based on TORCS racing engine.

   Python