diff options
| author | Keith Rothman <537074+litghost@users.noreply.github.com> | 2021-02-25 09:11:32 -0800 |
|---|---|---|
| committer | Keith Rothman <537074+litghost@users.noreply.github.com> | 2021-02-26 11:01:22 -0800 |
| commit | 9cbfd0b967f5804472afbb91d8df92e69dffe659 (patch) | |
| tree | 80f1052bb588b0e3ff133ab99658cd7a0b06936e /fpga_interchange/examples/counter/run.tcl | |
| parent | c65ba121e00a17c344f154e0335d1c2358a1393d (diff) | |
| download | nextpnr-9cbfd0b967f5804472afbb91d8df92e69dffe659.tar.gz nextpnr-9cbfd0b967f5804472afbb91d8df92e69dffe659.tar.bz2 nextpnr-9cbfd0b967f5804472afbb91d8df92e69dffe659.zip | |
Add counter test.
Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
Diffstat (limited to 'fpga_interchange/examples/counter/run.tcl')
| -rw-r--r-- | fpga_interchange/examples/counter/run.tcl | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/fpga_interchange/examples/counter/run.tcl b/fpga_interchange/examples/counter/run.tcl new file mode 100644 index 00000000..245aab04 --- /dev/null +++ b/fpga_interchange/examples/counter/run.tcl @@ -0,0 +1,15 @@ +yosys -import + +read_verilog counter.v + +synth_xilinx -nolutram -nowidelut -nosrl -nocarry -nodsp +techmap -map ../remap.v + +# opt_expr -undriven makes sure all nets are driven, if only by the $undef +# net. +opt_expr -undriven +opt_clean + +setundef -zero -params + +write_json build/counter.json |