HDL Benchmarks

Verilog designs and their synthesized netlists

Designs

These are behavioral Verilog files that can serve as inputs to a logic synthesis tool to generate a corresponding netlist.

• ISCAS'85 benchmarks: c*.v
• ISCAS'89 benchmarks: s*.v

Netlists

Our preprocessor expects a netlist written in structural Verilog and will clean up the netlist to make it easier for frameworks to read. The structural verilog can be generated with the following Yosys commands:

For gates:

read_verilog [MY_DESIGN].v
synth
abc -g simple,-MUX 
splitnets
write_verilog -noexpr [MY_DESIGN].struct.v

For 2:1 LUTs:

read_verilog [MY_DESIGN].v
synth
abc -luts 2
nlutmap -luts 0,10000000,0 (only applicable to LUTs with LBB)
splitnets
write_verilog -noexpr [MY_DESIGN].struct.v

Processed Netlists

These files are generated automatically by the preprocessor. To run our preprocessor run: cargo run --bin preprocessor --release -- --input ./netlists/c17.v

Test Cases

These files represent test cases for a corresponding netlist that can be useful for simulating circuits in software.

• Inputs: filename.inputs.csv
• Outputs: filename.outputs.csv

Trustworthy Computing Group