diff options
| -rw-r--r-- | tests/xsthammer/.gitignore | 4 | ||||
| -rw-r--r-- | tests/xsthammer/README | 23 | ||||
| -rw-r--r-- | tests/xsthammer/generate.cc | 85 | ||||
| -rw-r--r-- | tests/xsthammer/run-xst.sh | 71 |
4 files changed, 183 insertions, 0 deletions
diff --git a/tests/xsthammer/.gitignore b/tests/xsthammer/.gitignore new file mode 100644 index 000000000..bdaf6b320 --- /dev/null +++ b/tests/xsthammer/.gitignore @@ -0,0 +1,4 @@ +generate +rtl +xst +xst_temp diff --git a/tests/xsthammer/README b/tests/xsthammer/README new file mode 100644 index 000000000..10756dd46 --- /dev/null +++ b/tests/xsthammer/README @@ -0,0 +1,23 @@ + + ================================ + This is work under construction! + ================================ + + +This is going to be a collection of auto-generated test cases. The goal is +to synthesize them with Yosys and Xilinx XST and perform formal equivialence +checks using the Yosys SAT-based equivialence checker. This will hopefully +reveal some bugs in both applications.. ;-) + + +Generating the Test Cases: + clang -Wall -o generate generate.cc -lstdc++ + ./generate + +Running XST Synthesis: + bash run-xst.sh + rm -rf xst_temp + +Running Yosys Synthesis and Check: + TBD + diff --git a/tests/xsthammer/generate.cc b/tests/xsthammer/generate.cc new file mode 100644 index 000000000..2e50398ed --- /dev/null +++ b/tests/xsthammer/generate.cc @@ -0,0 +1,85 @@ + +#include <sys/stat.h> +#include <sys/types.h> +#include <stdio.h> +#include <string> + +const char *arg_types[][2] = { + { "{dir} [3:0] {name}", "{name}" }, + { "{dir} [4:0] {name}", "{name}" }, + { "{dir} [5:0] {name}", "{name}" }, + { "{dir} signed [3:0] {name}", "{name}" }, + { "{dir} signed [4:0] {name}", "{name}" }, + { "{dir} signed [5:0] {name}", "{name}" } +}; + +const char *ops[] = { + "+", + "-", + "*", + "&&", + "||", + "&", + "|", + "^", + "<<", + ">>", + "<<<", + ">>>", +}; + +void strsubst(std::string &str, const std::string &match, const std::string &replace) +{ + size_t pos; + while ((pos = str.find(match)) != std::string::npos) + str.replace(pos, match.size(), replace); +} + +int main() +{ + mkdir("rtl", 0777); + for (int ai = 0; ai < sizeof(arg_types)/sizeof(arg_types[0]); ai++) + for (int bi = 0; bi < sizeof(arg_types)/sizeof(arg_types[0]); bi++) + for (int yi = 0; yi < sizeof(arg_types)/sizeof(arg_types[0]); yi++) + for (int oi = 0; oi < sizeof(ops)/sizeof(ops[0]); oi++) + { + std::string a_decl = arg_types[ai][0]; + strsubst(a_decl, "{dir}", "input"); + strsubst(a_decl, "{name}", "a"); + + std::string b_decl = arg_types[bi][0]; + strsubst(b_decl, "{dir}", "input"); + strsubst(b_decl, "{name}", "b"); + + std::string y_decl = arg_types[yi][0]; + strsubst(y_decl, "{dir}", "output"); + strsubst(y_decl, "{name}", "y"); + + std::string a_ref = arg_types[ai][1]; + strsubst(a_ref, "{dir}", "input"); + strsubst(a_ref, "{name}", "a"); + + std::string b_ref = arg_types[bi][1]; + strsubst(b_ref, "{dir}", "input"); + strsubst(b_ref, "{name}", "b"); + + std::string y_ref = arg_types[yi][1]; + strsubst(y_ref, "{dir}", "output"); + strsubst(y_ref, "{name}", "y"); + + char buffer[1024]; + snprintf(buffer, 1024, "rtl/binary_ops_%02d%02d%02d%02d.v", ai, bi, yi, oi); + + FILE *f = fopen(buffer, "w"); + fprintf(f, "module binary_ops_%02d%02d%02d%02d(a, b, y);\n", ai, bi, yi, oi); + fprintf(f, "%s;\n", a_decl.c_str()); + fprintf(f, "%s;\n", b_decl.c_str()); + fprintf(f, "%s;\n", y_decl.c_str()); + fprintf(f, "assign %s = %s %s %s;\n", y_ref.c_str(), + a_ref.c_str(), ops[oi], b_ref.c_str()); + fprintf(f, "endmodule\n"); + fclose(f); + } + return 0; +} + diff --git a/tests/xsthammer/run-xst.sh b/tests/xsthammer/run-xst.sh new file mode 100644 index 000000000..bcd12ea3f --- /dev/null +++ b/tests/xsthammer/run-xst.sh @@ -0,0 +1,71 @@ +#!/bin/bash + +set -ex +mkdir -p xst +. /opt/Xilinx/14.2/ISE_DS/settings64.sh + +rm -rf xst_temp +mkdir xst_temp +cd xst_temp + +for job in $( ls ../rtl | sed 's,\.v$,,' ) +do + cat > $job.xst <<- EOT + run + -ifn $job.prj + -ifmt mixed + -ofn $job + -ofmt NGC + -p xc6vlx75t-2-ff784 + -top $job + -opt_mode Speed + -opt_level 1 + -power NO + -iuc NO + -keep_hierarchy NO + -rtlview Yes + -glob_opt AllClockNets + -read_cores YES + -write_timing_constraints NO + -cross_clock_analysis NO + -hierarchy_separator / + -bus_delimiter <> + -case maintain + -slice_utilization_ratio 100 + -bram_utilization_ratio 100 + -dsp_utilization_ratio 100 + -fsm_extract YES -fsm_encoding Auto + -safe_implementation No + -fsm_style lut + -ram_extract Yes + -ram_style Auto + -rom_extract Yes + -shreg_extract YES + -rom_style Auto + -auto_bram_packing NO + -resource_sharing YES + -async_to_sync NO + -use_dsp48 auto + -iobuf NO + -max_fanout 100000 + -bufg 32 + -register_duplication YES + -register_balancing No + -optimize_primitives NO + -use_clock_enable Auto + -use_sync_set Auto + -use_sync_reset Auto + -iob auto + -equivalent_register_removal YES + -slice_utilization_ratio_maxmargin 5 + EOT + + cat > $job.prj <<- EOT + verilog work "../rtl/$job.v" + EOT + + xst -ifn $job.xst + netgen -w -ofmt verilog $job.ngc $job + cp $job.v ../xst/$job.v +done + |