├── README.md ├── analyzer ├── Makefile └── analyzer.cc ├── demos ├── ice8k │ ├── icedemo.pcf │ ├── icedemo.v │ ├── icestorm.sh │ ├── testbench.sh │ └── testbench.v └── zybo │ ├── zybo.v │ ├── zybo.xdc │ ├── zybo_prog.tcl │ └── zybo_synth.tcl ├── plinksrc ├── bitdist.py ├── ponylink_8b10b.v ├── ponylink_crc32.v ├── ponylink_master.v ├── ponylink_pack.v ├── ponylink_slave.v ├── ponylink_test.v ├── ponylink_txrx.v ├── protocol.txt ├── synth_icecube.sdc ├── synth_vivado.tcl ├── synth_vivado.xdc ├── synth_yosys.ys └── timings.py ├── smt2bmc ├── README ├── chip.py ├── chip.sh ├── chip.ys ├── reset_sequence.py ├── reset_sequence.sh ├── reset_sequence.v ├── reset_sequence.ys ├── slave_send_length.py ├── slave_send_length.sh ├── slave_send_length.v ├── slave_send_length.ys └── smtio.py └── testbench ├── Makefile └── maketest.py /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/README.md -------------------------------------------------------------------------------- /analyzer/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/analyzer/Makefile -------------------------------------------------------------------------------- /analyzer/analyzer.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/analyzer/analyzer.cc -------------------------------------------------------------------------------- /demos/ice8k/icedemo.pcf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/demos/ice8k/icedemo.pcf -------------------------------------------------------------------------------- /demos/ice8k/icedemo.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/demos/ice8k/icedemo.v -------------------------------------------------------------------------------- /demos/ice8k/icestorm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/demos/ice8k/icestorm.sh -------------------------------------------------------------------------------- /demos/ice8k/testbench.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/demos/ice8k/testbench.sh -------------------------------------------------------------------------------- /demos/ice8k/testbench.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/demos/ice8k/testbench.v -------------------------------------------------------------------------------- /demos/zybo/zybo.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/demos/zybo/zybo.v -------------------------------------------------------------------------------- /demos/zybo/zybo.xdc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/demos/zybo/zybo.xdc -------------------------------------------------------------------------------- /demos/zybo/zybo_prog.tcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/demos/zybo/zybo_prog.tcl -------------------------------------------------------------------------------- /demos/zybo/zybo_synth.tcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/demos/zybo/zybo_synth.tcl -------------------------------------------------------------------------------- /plinksrc/bitdist.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/plinksrc/bitdist.py -------------------------------------------------------------------------------- /plinksrc/ponylink_8b10b.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/plinksrc/ponylink_8b10b.v -------------------------------------------------------------------------------- /plinksrc/ponylink_crc32.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/plinksrc/ponylink_crc32.v -------------------------------------------------------------------------------- /plinksrc/ponylink_master.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/plinksrc/ponylink_master.v -------------------------------------------------------------------------------- /plinksrc/ponylink_pack.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/plinksrc/ponylink_pack.v -------------------------------------------------------------------------------- /plinksrc/ponylink_slave.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/plinksrc/ponylink_slave.v -------------------------------------------------------------------------------- /plinksrc/ponylink_test.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/plinksrc/ponylink_test.v -------------------------------------------------------------------------------- /plinksrc/ponylink_txrx.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/plinksrc/ponylink_txrx.v -------------------------------------------------------------------------------- /plinksrc/protocol.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/plinksrc/protocol.txt -------------------------------------------------------------------------------- /plinksrc/synth_icecube.sdc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/plinksrc/synth_icecube.sdc -------------------------------------------------------------------------------- /plinksrc/synth_vivado.tcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/plinksrc/synth_vivado.tcl -------------------------------------------------------------------------------- /plinksrc/synth_vivado.xdc: -------------------------------------------------------------------------------- 1 | create_clock -period 4.00 [get_ports clk] 2 | -------------------------------------------------------------------------------- /plinksrc/synth_yosys.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/plinksrc/synth_yosys.ys -------------------------------------------------------------------------------- /plinksrc/timings.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/plinksrc/timings.py -------------------------------------------------------------------------------- /smt2bmc/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/smt2bmc/README -------------------------------------------------------------------------------- /smt2bmc/chip.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/smt2bmc/chip.py -------------------------------------------------------------------------------- /smt2bmc/chip.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/smt2bmc/chip.sh -------------------------------------------------------------------------------- /smt2bmc/chip.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/smt2bmc/chip.ys -------------------------------------------------------------------------------- /smt2bmc/reset_sequence.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/smt2bmc/reset_sequence.py -------------------------------------------------------------------------------- /smt2bmc/reset_sequence.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/smt2bmc/reset_sequence.sh -------------------------------------------------------------------------------- /smt2bmc/reset_sequence.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/smt2bmc/reset_sequence.v -------------------------------------------------------------------------------- /smt2bmc/reset_sequence.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/smt2bmc/reset_sequence.ys -------------------------------------------------------------------------------- /smt2bmc/slave_send_length.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/smt2bmc/slave_send_length.py -------------------------------------------------------------------------------- /smt2bmc/slave_send_length.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/smt2bmc/slave_send_length.sh -------------------------------------------------------------------------------- /smt2bmc/slave_send_length.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/smt2bmc/slave_send_length.v -------------------------------------------------------------------------------- /smt2bmc/slave_send_length.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/smt2bmc/slave_send_length.ys -------------------------------------------------------------------------------- /smt2bmc/smtio.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/smt2bmc/smtio.py -------------------------------------------------------------------------------- /testbench/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/testbench/Makefile -------------------------------------------------------------------------------- /testbench/maketest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cliffordwolf/PonyLink/HEAD/testbench/maketest.py --------------------------------------------------------------------------------