Commit Graph

86 Commits

Author SHA1 Message Date
Clifford Wolf 0ab0b6eca4 Added z3 support to mem_equiv.py 2015-08-14 23:57:09 +02:00
Clifford Wolf 16f97a86a1 Reset bugfix (bug found via scripts/smt2-bmc/mem_equiv.*) 2015-08-13 13:30:21 +02:00
Clifford Wolf 8397962424 Progress with smt2-based bmc scripts 2015-08-13 11:52:53 +02:00
Clifford Wolf 12e64c7968 Progress with smt2-based bmc scripts 2015-08-10 12:11:33 +02:00
Clifford Wolf 93d78f38d8 Added smt2-based bmc scripts 2015-08-09 14:23:02 +02:00
Clifford Wolf 2f326d0761 Improvements in icestorm test firmware 2015-07-31 11:08:28 +02:00
Clifford Wolf 484fa4ac5f icestorm sim improvements 2015-07-21 17:43:33 +02:00
Clifford Wolf f4842be8bb Improved icestorm example 2015-07-19 16:44:31 +02:00
Clifford Wolf 6c7125b380 Improved icestorm example 2015-07-19 16:09:19 +02:00
Clifford Wolf 812d4d0793 Added $(VIVADO_BASE) to vivado Makefile 2015-07-16 18:59:58 +02:00
Clifford Wolf d8c3157bf8 Improved firmware for vivado "system" example 2015-07-16 11:11:45 +02:00
Clifford Wolf 0249d538fa Improved vivado "system" example 2015-07-12 22:59:21 +02:00
Clifford Wolf 94edf3565d Vivado "system" example 2015-07-09 02:48:14 +02:00
Clifford Wolf 51be282633 Updated evaluation 2015-07-08 22:31:03 +02:00
Clifford Wolf a97a715987 Enabled report_timing in vivado synth_area scripts 2015-07-08 10:16:10 +02:00
Clifford Wolf bd1cc3466f Updated eval data 2015-07-08 09:48:42 +02:00
Clifford Wolf 8d404182b3 Improved IceStorm example script 2015-07-04 16:34:18 +02:00
Clifford Wolf 686f77facb Updated area and timing stats 2015-07-02 14:41:15 +02:00
Clifford Wolf 198c995c8f Back to Vivado 2015.1
my synthesis license has a 2015.05 version limit..
2015-07-01 22:42:25 +02:00
Clifford Wolf 84e2202fef Vivado 2015.2 area evaluation 2015-07-01 22:18:20 +02:00
Clifford Wolf e72abc0284 Added vivado synth_area_{small,regular,large}.tcl scripts 2015-07-01 21:51:15 +02:00
Clifford Wolf 553b1ef143 Updated Xilinx 7-Series area stats 2015-07-01 21:48:51 +02:00
Clifford Wolf 997c5ce341 Added "make test_synth" 2015-06-30 01:46:25 +02:00
Clifford Wolf 094dc690bb Added resource utilization to xilinx eval 2015-06-28 13:51:37 +02:00
Clifford Wolf ef8796de45 Minor vivado script changes 2015-06-27 23:05:00 +02:00
Clifford Wolf dee66e136e Added "make table.txt" vivado scripts 2015-06-27 13:55:33 +02:00
Clifford Wolf 60fdba89d0 Updated vivado scripts 2015-06-26 23:41:13 +02:00
Clifford Wolf 1a664f9b97 Changed chip package in vivado examples 2015-06-26 10:46:51 +02:00
Clifford Wolf 982e5cc600 Added simple icestorm script (not a real example yet) 2015-06-22 11:35:48 +02:00
Clifford Wolf 8590c7d2a8 Updated Vivado SoC example 2015-06-10 16:48:06 +02:00
Clifford Wolf 26127b45de Makefile for Vivado scripts 2015-06-09 12:45:45 +02:00
Clifford Wolf 0257d2cb08 Small improvements in vivado_soc demo 2015-06-08 19:58:28 +02:00
Clifford Wolf 072e5ca2c5 Added osu018 yosys synthesis script 2015-06-08 09:31:56 +02:00
Clifford Wolf bbbcea2faa Added look-ahead write interface 2015-06-07 12:11:20 +02:00
Clifford Wolf bc8ffd2ecb Added memory "look-ahead" read interface 2015-06-06 20:50:53 +02:00
Clifford Wolf 9df9d7ff90 Improved Xilinx example 2015-06-06 20:14:58 +02:00