Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | Minor scripts/icestorm changes | Clifford Wolf | 2015-10-08 | 3 | -14/+3 | |
| | | ||||||
* | | Add a missing dependency | Larry Doolittle | 2015-10-13 | 1 | -2/+2 | |
|/ | ||||||
* | Better "steps" default in smt2-bmc/sync.py | Clifford Wolf | 2015-10-06 | 1 | -1/+1 | |
| | ||||||
* | Improvements to smtio.py | Clifford Wolf | 2015-09-18 | 3 | -2/+3 | |
| | ||||||
* | Added scripts/yosys/synth_gates | Clifford Wolf | 2015-09-12 | 3 | -0/+76 | |
| | ||||||
* | Improvements in smtio.py | Clifford Wolf | 2015-08-28 | 3 | -86/+94 | |
| | ||||||
* | Improvements in smtio.py "timer display during solving" feature | Clifford Wolf | 2015-08-28 | 1 | -8/+13 | |
| | ||||||
* | Added smtio.py "timer display during solving" feature | Clifford Wolf | 2015-08-27 | 3 | -5/+51 | |
| | ||||||
* | Added mkvcd class to smtio.py | Clifford Wolf | 2015-08-27 | 1 | -0/+29 | |
| | ||||||
* | Added (set-info ..) generation to smtio.py | Clifford Wolf | 2015-08-27 | 3 | -20/+32 | |
| | ||||||
* | Using "#!/usr/bin/env python3" | Clifford Wolf | 2015-08-22 | 3 | -3/+3 | |
| | ||||||
* | More improvements in smt2-bmc scripts | Clifford Wolf | 2015-08-15 | 4 | -3/+128 | |
| | ||||||
* | Added cvc4 and mathsat to scripts/smt2-bmc | Clifford Wolf | 2015-08-15 | 1 | -0/+6 | |
| | ||||||
* | Added scripts/smt2-bmc/sync.* | Clifford Wolf | 2015-08-15 | 7 | -5/+312 | |
| | ||||||
* | Renamed scripts/smt2-bmc/mem_equiv to .../async | Clifford Wolf | 2015-08-15 | 6 | -19/+19 | |
| | ||||||
* | Refactoring of scripts/smt2-bmc/ | Clifford Wolf | 2015-08-15 | 2 | -211/+220 | |
| | ||||||
* | Added z3 support to mem_equiv.py | Clifford Wolf | 2015-08-14 | 1 | -10/+20 | |
| | ||||||
* | Reset bugfix (bug found via scripts/smt2-bmc/mem_equiv.*) | Clifford Wolf | 2015-08-13 | 2 | -14/+107 | |
| | ||||||
* | Progress with smt2-based bmc scripts | Clifford Wolf | 2015-08-13 | 2 | -188/+203 | |
| | ||||||
* | Progress with smt2-based bmc scripts | Clifford Wolf | 2015-08-10 | 3 | -21/+183 | |
| | ||||||
* | Added smt2-based bmc scripts | Clifford Wolf | 2015-08-09 | 5 | -0/+247 | |
| | ||||||
* | Improvements in icestorm test firmware | Clifford Wolf | 2015-07-31 | 1 | -7/+35 | |
| | ||||||
* | icestorm sim improvements | Clifford Wolf | 2015-07-21 | 3 | -6/+38 | |
| | ||||||
* | Improved icestorm example | Clifford Wolf | 2015-07-19 | 3 | -13/+11 | |
| | ||||||
* | Improved icestorm example | Clifford Wolf | 2015-07-19 | 9 | -76/+226 | |
| | ||||||
* | Added $(VIVADO_BASE) to vivado Makefile | Clifford Wolf | 2015-07-16 | 1 | -4/+5 | |
| | ||||||
* | Improved firmware for vivado "system" example | Clifford Wolf | 2015-07-16 | 2 | -4/+33 | |
| | ||||||
* | Improved vivado "system" example | Clifford Wolf | 2015-07-12 | 2 | -16/+56 | |
| | ||||||
* | Vivado "system" example | Clifford Wolf | 2015-07-09 | 10 | -21/+142 | |
| | ||||||
* | Updated evaluation | Clifford Wolf | 2015-07-08 | 5 | -5/+9 | |
| | ||||||
* | Enabled report_timing in vivado synth_area scripts | Clifford Wolf | 2015-07-08 | 4 | -4/+4 | |
| | ||||||
* | Updated eval data | Clifford Wolf | 2015-07-08 | 2 | -2/+16 | |
| | ||||||
* | Improved IceStorm example script | Clifford Wolf | 2015-07-04 | 3 | -1/+75 | |
| | ||||||
* | Updated area and timing stats | Clifford Wolf | 2015-07-02 | 1 | -0/+1 | |
| | ||||||
* | Back to Vivado 2015.1 | Clifford Wolf | 2015-07-01 | 1 | -1/+1 | |
| | | | | my synthesis license has a 2015.05 version limit.. | |||||
* | Vivado 2015.2 area evaluation | Clifford Wolf | 2015-07-01 | 5 | -14/+9 | |
| | ||||||
* | Added vivado synth_area_{small,regular,large}.tcl scripts | Clifford Wolf | 2015-07-01 | 4 | -4/+33 | |
| | ||||||
* | Updated Xilinx 7-Series area stats | Clifford Wolf | 2015-07-01 | 1 | -13/+7 | |
| | ||||||
* | Added "make test_synth" | Clifford Wolf | 2015-06-30 | 1 | -0/+7 | |
| | ||||||
* | Added resource utilization to xilinx eval | Clifford Wolf | 2015-06-28 | 4 | -6/+148 | |
| | ||||||
* | Minor vivado script changes | Clifford Wolf | 2015-06-27 | 2 | -0/+4 | |
| | ||||||
* | Added "make table.txt" vivado scripts | Clifford Wolf | 2015-06-27 | 5 | -1/+216 | |
| | ||||||
* | Updated vivado scripts | Clifford Wolf | 2015-06-26 | 3 | -6/+4 | |
| | ||||||
* | Changed chip package in vivado examples | Clifford Wolf | 2015-06-26 | 2 | -2/+2 | |
| | ||||||
* | Added simple icestorm script (not a real example yet) | Clifford Wolf | 2015-06-22 | 2 | -0/+7 | |
| | ||||||
* | Updated Vivado SoC example | Clifford Wolf | 2015-06-10 | 5 | -18/+47 | |
| | ||||||
* | Makefile for Vivado scripts | Clifford Wolf | 2015-06-09 | 10 | -23/+58 | |
| | ||||||
* | Small improvements in vivado_soc demo | Clifford Wolf | 2015-06-08 | 1 | -5/+4 | |
| | ||||||
* | Added osu018 yosys synthesis script | Clifford Wolf | 2015-06-08 | 6 | -1/+10 | |
| | ||||||
* | Added look-ahead write interface | Clifford Wolf | 2015-06-07 | 1 | -21/+33 | |
| |