Popular repositories Loading

1. verilog_benchmark_circuits verilog_benchmark_circuits Public

   EPFL and ISCAS85 combinational benchmark circuits in generic gate verilog

   Verilog 23 3

2. verilog2dimacs verilog2dimacs Public

   Coverts a generic Verilog netlist into the DIMACS format compatible with many SAT solvers

   Python 4 1

3. sensitivity_attack sensitivity_attack Public

   Sensitivity-Based Attack on Strip-Locking Circuits

   Verilog 2

4. SmartLock SmartLock Public

   Senior Design Project

   C

5. systemConfigScript systemConfigScript Public

   A script to setup a mac

   Shell

6. rnn rnn Public

   rnn python implementation

   Python