├── README.md ├── c ├── la2vcd.c └── readme.md ├── demos ├── ice40 │ ├── demo1 │ │ ├── capture │ │ ├── config_verifla.v │ │ ├── demo.pcf │ │ ├── demo.v │ │ ├── demo1.gtkw │ │ ├── demo1.vcd │ │ ├── go │ │ └── verifla │ ├── demo2 │ │ ├── capture │ │ ├── config_verifla.v │ │ ├── demo.pcf │ │ ├── demo.v │ │ ├── demo2.gtkw │ │ ├── demo2.vcd │ │ ├── go │ │ ├── gtkwavefilter.txt │ │ └── verifla │ ├── demo3 │ │ ├── capture │ │ ├── config_verifla.v │ │ ├── go │ │ ├── gtkwavefilter.txt │ │ ├── readme.md │ │ ├── spin.gtkw │ │ ├── spin.pcf │ │ └── spin.v │ └── readme.md ├── max10 │ └── demo │ │ ├── config_verifla.v │ │ ├── config_verifla.v.bak │ │ ├── db │ │ └── .cmp.kpt │ │ ├── demo.vcd │ │ ├── font5x7.hex │ │ ├── font_rom.qip │ │ ├── font_rom.v │ │ ├── font_rom_bb.v │ │ ├── qar_info.json │ │ ├── sequencer.v │ │ ├── spi_master.v │ │ ├── test0.qpf │ │ ├── test0.qsf │ │ ├── test0.restore.rpt │ │ ├── test0.sdc │ │ ├── test0_assignment_defaults.qdf │ │ ├── top.v │ │ ├── top.v.bak │ │ └── top_tb.v └── readme.md ├── java ├── UARTSendReceive.class ├── UARTSendReceive.java ├── VeriFLA.class ├── VeriFLA.java ├── compile.bat ├── compile.sh ├── jssc.jar ├── propdemo2.txt ├── run.bat ├── run.sh ├── verifla_prop_demo.txt └── verifla_properties_keyboard.txt ├── openverifla_manual.pdf └── verilog ├── keyboard-driver ├── keyboard.ucf ├── keyboard.v ├── keyboard_driver_test.v └── readme.md └── verifla ├── async-memory-of-verifla.v.alt ├── baud_of_verifla.v ├── computer_input_of_verifla.v ├── config_verifla.v.template ├── memory_of_verifla.v ├── monitor_of_verifla.v ├── send_capture_of_verifla.v ├── single_pulse_of_verifla.v ├── top_of_verifla.v ├── top_of_verifla_nodef.v ├── u_rec_of_verifla.v ├── u_xmit_of_verifla.v └── uart_of_verifla.v /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/README.md -------------------------------------------------------------------------------- /c/la2vcd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/c/la2vcd.c -------------------------------------------------------------------------------- /c/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/c/readme.md -------------------------------------------------------------------------------- /demos/ice40/demo1/capture: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo1/capture -------------------------------------------------------------------------------- /demos/ice40/demo1/config_verifla.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo1/config_verifla.v -------------------------------------------------------------------------------- /demos/ice40/demo1/demo.pcf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo1/demo.pcf -------------------------------------------------------------------------------- /demos/ice40/demo1/demo.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo1/demo.v -------------------------------------------------------------------------------- /demos/ice40/demo1/demo1.gtkw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo1/demo1.gtkw -------------------------------------------------------------------------------- /demos/ice40/demo1/demo1.vcd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo1/demo1.vcd -------------------------------------------------------------------------------- /demos/ice40/demo1/go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo1/go -------------------------------------------------------------------------------- /demos/ice40/demo1/verifla: -------------------------------------------------------------------------------- 1 | ../../../verilog/verifla -------------------------------------------------------------------------------- /demos/ice40/demo2/capture: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo2/capture -------------------------------------------------------------------------------- /demos/ice40/demo2/config_verifla.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo2/config_verifla.v -------------------------------------------------------------------------------- /demos/ice40/demo2/demo.pcf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo2/demo.pcf -------------------------------------------------------------------------------- /demos/ice40/demo2/demo.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo2/demo.v -------------------------------------------------------------------------------- /demos/ice40/demo2/demo2.gtkw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo2/demo2.gtkw -------------------------------------------------------------------------------- /demos/ice40/demo2/demo2.vcd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo2/demo2.vcd -------------------------------------------------------------------------------- /demos/ice40/demo2/go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo2/go -------------------------------------------------------------------------------- /demos/ice40/demo2/gtkwavefilter.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo2/gtkwavefilter.txt -------------------------------------------------------------------------------- /demos/ice40/demo2/verifla: -------------------------------------------------------------------------------- 1 | ../../../verilog/verifla -------------------------------------------------------------------------------- /demos/ice40/demo3/capture: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo3/capture -------------------------------------------------------------------------------- /demos/ice40/demo3/config_verifla.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo3/config_verifla.v -------------------------------------------------------------------------------- /demos/ice40/demo3/go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo3/go -------------------------------------------------------------------------------- /demos/ice40/demo3/gtkwavefilter.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo3/gtkwavefilter.txt -------------------------------------------------------------------------------- /demos/ice40/demo3/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo3/readme.md -------------------------------------------------------------------------------- /demos/ice40/demo3/spin.gtkw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo3/spin.gtkw -------------------------------------------------------------------------------- /demos/ice40/demo3/spin.pcf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo3/spin.pcf -------------------------------------------------------------------------------- /demos/ice40/demo3/spin.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/demo3/spin.v -------------------------------------------------------------------------------- /demos/ice40/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/ice40/readme.md -------------------------------------------------------------------------------- /demos/max10/demo/config_verifla.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/max10/demo/config_verifla.v -------------------------------------------------------------------------------- /demos/max10/demo/config_verifla.v.bak: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/max10/demo/config_verifla.v.bak -------------------------------------------------------------------------------- /demos/max10/demo/db/.cmp.kpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/max10/demo/db/.cmp.kpt -------------------------------------------------------------------------------- /demos/max10/demo/demo.vcd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/max10/demo/demo.vcd -------------------------------------------------------------------------------- /demos/max10/demo/font5x7.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/max10/demo/font5x7.hex -------------------------------------------------------------------------------- /demos/max10/demo/font_rom.qip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/max10/demo/font_rom.qip -------------------------------------------------------------------------------- /demos/max10/demo/font_rom.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/max10/demo/font_rom.v -------------------------------------------------------------------------------- /demos/max10/demo/font_rom_bb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/max10/demo/font_rom_bb.v -------------------------------------------------------------------------------- /demos/max10/demo/qar_info.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/max10/demo/qar_info.json -------------------------------------------------------------------------------- /demos/max10/demo/sequencer.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/max10/demo/sequencer.v -------------------------------------------------------------------------------- /demos/max10/demo/spi_master.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/max10/demo/spi_master.v -------------------------------------------------------------------------------- /demos/max10/demo/test0.qpf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/max10/demo/test0.qpf -------------------------------------------------------------------------------- /demos/max10/demo/test0.qsf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/max10/demo/test0.qsf -------------------------------------------------------------------------------- /demos/max10/demo/test0.restore.rpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/max10/demo/test0.restore.rpt -------------------------------------------------------------------------------- /demos/max10/demo/test0.sdc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/max10/demo/test0.sdc -------------------------------------------------------------------------------- /demos/max10/demo/test0_assignment_defaults.qdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/max10/demo/test0_assignment_defaults.qdf -------------------------------------------------------------------------------- /demos/max10/demo/top.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/max10/demo/top.v -------------------------------------------------------------------------------- /demos/max10/demo/top.v.bak: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/max10/demo/top.v.bak -------------------------------------------------------------------------------- /demos/max10/demo/top_tb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/max10/demo/top_tb.v -------------------------------------------------------------------------------- /demos/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/demos/readme.md -------------------------------------------------------------------------------- /java/UARTSendReceive.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/java/UARTSendReceive.class -------------------------------------------------------------------------------- /java/UARTSendReceive.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/java/UARTSendReceive.java -------------------------------------------------------------------------------- /java/VeriFLA.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/java/VeriFLA.class -------------------------------------------------------------------------------- /java/VeriFLA.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/java/VeriFLA.java -------------------------------------------------------------------------------- /java/compile.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/java/compile.bat -------------------------------------------------------------------------------- /java/compile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/java/compile.sh -------------------------------------------------------------------------------- /java/jssc.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/java/jssc.jar -------------------------------------------------------------------------------- /java/propdemo2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/java/propdemo2.txt -------------------------------------------------------------------------------- /java/run.bat: -------------------------------------------------------------------------------- 1 | set CLASSPATH=jssc.jar;. 2 | java %1 %2 %3 %4 %5 3 | -------------------------------------------------------------------------------- /java/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/java/run.sh -------------------------------------------------------------------------------- /java/verifla_prop_demo.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/java/verifla_prop_demo.txt -------------------------------------------------------------------------------- /java/verifla_properties_keyboard.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/java/verifla_properties_keyboard.txt -------------------------------------------------------------------------------- /openverifla_manual.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/openverifla_manual.pdf -------------------------------------------------------------------------------- /verilog/keyboard-driver/keyboard.ucf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/verilog/keyboard-driver/keyboard.ucf -------------------------------------------------------------------------------- /verilog/keyboard-driver/keyboard.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/verilog/keyboard-driver/keyboard.v -------------------------------------------------------------------------------- /verilog/keyboard-driver/keyboard_driver_test.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/verilog/keyboard-driver/keyboard_driver_test.v -------------------------------------------------------------------------------- /verilog/keyboard-driver/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/verilog/keyboard-driver/readme.md -------------------------------------------------------------------------------- /verilog/verifla/async-memory-of-verifla.v.alt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/verilog/verifla/async-memory-of-verifla.v.alt -------------------------------------------------------------------------------- /verilog/verifla/baud_of_verifla.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/verilog/verifla/baud_of_verifla.v -------------------------------------------------------------------------------- /verilog/verifla/computer_input_of_verifla.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/verilog/verifla/computer_input_of_verifla.v -------------------------------------------------------------------------------- /verilog/verifla/config_verifla.v.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/verilog/verifla/config_verifla.v.template -------------------------------------------------------------------------------- /verilog/verifla/memory_of_verifla.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/verilog/verifla/memory_of_verifla.v -------------------------------------------------------------------------------- /verilog/verifla/monitor_of_verifla.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/verilog/verifla/monitor_of_verifla.v -------------------------------------------------------------------------------- /verilog/verifla/send_capture_of_verifla.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/verilog/verifla/send_capture_of_verifla.v -------------------------------------------------------------------------------- /verilog/verifla/single_pulse_of_verifla.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/verilog/verifla/single_pulse_of_verifla.v -------------------------------------------------------------------------------- /verilog/verifla/top_of_verifla.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/verilog/verifla/top_of_verifla.v -------------------------------------------------------------------------------- /verilog/verifla/top_of_verifla_nodef.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/verilog/verifla/top_of_verifla_nodef.v -------------------------------------------------------------------------------- /verilog/verifla/u_rec_of_verifla.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/verilog/verifla/u_rec_of_verifla.v -------------------------------------------------------------------------------- /verilog/verifla/u_xmit_of_verifla.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/verilog/verifla/u_xmit_of_verifla.v -------------------------------------------------------------------------------- /verilog/verifla/uart_of_verifla.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wd5gnr/verifla/HEAD/verilog/verifla/uart_of_verifla.v --------------------------------------------------------------------------------