Clifford Wolf
|
8710809978
|
Using new yosys write_smt2 cmdline
|
2016-08-30 12:44:03 +02:00 |
|
Clifford Wolf
|
cefe09b8d4
|
Minor fixes/cleanups in mul reset logic
|
2016-08-30 11:12:16 +02:00 |
Tom Verbeure
|
248560c18d
|
table.txt generation works
|
2016-08-29 23:22:53 -07:00 |
|
Tom Verbeure
|
71a46afa79
|
Checkpoint: map, fit
|
2016-08-29 22:14:39 -07:00 |
|
Tom Verbeure
|
c96ed77c4d
|
Make sim_system work
|
2016-08-29 21:37:29 -07:00 |
|
Tom Verbeure
|
7bf87502aa
|
Clone vivado dir into quartus dir
|
2016-08-29 21:12:08 -07:00 |
|
Clifford Wolf
|
28fe45ffe9
|
Added more asserts to picorv32, more smtbmc examples
|
2016-08-29 17:23:00 +02:00 |
|
Clifford Wolf
|
d1d3c3c5e1
|
Added next gen yosys-smtbmc verification scripts
|
2016-08-26 23:39:39 +02:00 |
|
Clifford Wolf
|
f9da3f2ce8
|
Minor fixes in scripts/icestorm/
|
2016-07-14 09:07:52 +02:00 |
|
Clifford Wolf
|
f4bb91b060
|
RISC-V ISA 2.1 now calls "sbreak" officially "ebreak"
|
2016-06-06 10:46:52 +02:00 |
|
Clifford Wolf
|
614164aabc
|
Added mem timing variations to scripts/csmith/ testbench
|
2016-05-07 22:13:18 +02:00 |
|
Clifford Wolf
|
b2bcf143cb
|
Now using a truly minimalist syscalls.c
|
2016-05-05 15:13:48 +02:00 |
|
Clifford Wolf
|
264a239a28
|
Improvements in scripts/csmith/
|
2016-05-05 02:00:26 +02:00 |
|
Clifford Wolf
|
211fb521a8
|
Added scripts/csmith/ verilator support
|
2016-05-04 13:34:32 +02:00 |
|
Clifford Wolf
|
96831d720f
|
Improved "make spike" in scripts/csmith/
|
2016-05-04 10:34:56 +02:00 |
|
Clifford Wolf
|
f4e42de247
|
Added console out to csmith spike
|
2016-05-04 09:10:58 +02:00 |
|
Clifford Wolf
|
6c69b3812e
|
Using .vvp instead of .exe for iverilog executables
|
2016-05-04 08:57:16 +02:00 |
|
Clifford Wolf
|
84bd9e9b88
|
Added scripts/csmith/ spike support
|
2016-05-04 01:21:39 +02:00 |
|
Clifford Wolf
|
133befd278
|
Fixed SP init in scripts/{csmith,cxxdemo}/
|
2016-05-04 00:43:08 +02:00 |
|
Clifford Wolf
|
3192555374
|
Added scripts/csmith/
|
2016-05-03 16:53:22 +02:00 |
|
Clifford Wolf
|
76f30e4810
|
Updated stats for Vivado 2016.1
|
2016-04-20 11:38:13 +02:00 |
|
Clifford Wolf
|
fd6e52adb0
|
"xori" is sometimes disassembled as "not" (with -1 imm)
|
2016-04-13 17:30:09 +02:00 |
|
Clifford Wolf
|
6a7ed87d1a
|
Added asmcheck to scripts/torture/
|
2016-04-13 16:56:29 +02:00 |
|
Clifford Wolf
|
9db6d8fd7e
|
Added batch size parameter for torture test
|
2016-04-13 15:30:27 +02:00 |
|
Clifford Wolf
|
5ccd0bb572
|
Fixed scripts/vivado/table.sh output formatting
|
2016-04-13 15:28:09 +02:00 |
|
Clifford Wolf
|
faa1c1a159
|
Added SBREAK handling for CATCH_ILLINSN=0
|
2016-04-13 15:09:49 +02:00 |
|
Clifford Wolf
|
713725d14f
|
Added xcku/xcvu handling to scripts/vivado/table.sh
|
2016-04-13 12:16:20 +02:00 |
|
Clifford Wolf
|
d623a718b7
|
Disabled CATCH_ILLINSN for torture test (needs sbreak)
|
2016-04-12 20:56:10 +02:00 |
|
Clifford Wolf
|
2938d14833
|
Run torture test with random PicoRV32 configs
|
2016-04-12 20:17:36 +02:00 |
|
Clifford Wolf
|
2fdafb9c16
|
Added BARREL_SHIFTER config parameter
|
2016-04-12 17:30:31 +02:00 |
|
Clifford Wolf
|
0e9bdd0082
|
Added Kintex/Virtex UltraScale to "make table.txt" in scripts/vivado/
|
2016-04-12 13:12:23 +02:00 |
|
Clifford Wolf
|
c9acf5a704
|
Added "make mrpoper" to scripts/torture/
|
2016-04-11 17:12:06 +02:00 |
|
Clifford Wolf
|
094783dcf8
|
Added mul/div support to scripts/torture/
|
2016-04-10 16:55:45 +02:00 |
|
Clifford Wolf
|
8f58453109
|
Using compressed ISA in cxxdemo
|
2016-04-10 14:58:07 +02:00 |
|
Clifford Wolf
|
df1ae479e3
|
Support mem_la interface in torture test
|
2016-04-10 13:42:20 +02:00 |
|
Clifford Wolf
|
9a5d35c195
|
Using Verilator in torture test bench
|
2016-04-10 12:35:16 +02:00 |
|
Clifford Wolf
|
bc85a4c110
|
Updated riscv-gnu-toolchain (c.addi16sp bugfix)
|
2016-04-10 12:03:09 +02:00 |
|
Clifford Wolf
|
0d91dfa59e
|
Updated area table
|
2016-04-09 14:57:44 +02:00 |
|
Clifford Wolf
|
f7435eca96
|
Improvements in scripts/torture/
|
2016-04-09 14:09:22 +02:00 |
|
Clifford Wolf
|
649faca27e
|
Work-around for c.addi16sp zero-imm gas bug (for torture test)
|
2016-04-09 13:25:29 +02:00 |
|
Clifford Wolf
|
24b299597a
|
Use RV32IC in scripts/torture/
|
2016-04-08 22:28:30 +02:00 |
|
Clifford Wolf
|
cb0f9df0d0
|
Added c_ebreak support to riscv-isa-sim-sbreak.diff
|
2016-04-08 21:41:32 +02:00 |
|
Clifford Wolf
|
b40f5864c1
|
Batch processing for scripts/torture/
|
2016-04-08 17:02:41 +02:00 |
|
Clifford Wolf
|
33c0aaf5de
|
Single test support in scripts/torture/
|
2016-04-08 16:08:23 +02:00 |
|
Clifford Wolf
|
548abd6cce
|
Added scripts/torture for riscv-torture tests
|
2016-04-06 16:38:57 +02:00 |
|
Clifford Wolf
|
473ff0d700
|
Extended c++ demo
|
2015-12-01 15:45:37 +01:00 |
|
Clifford Wolf
|
014b2c6f09
|
Bugfix in hex8tohex32.py
|
2015-11-18 12:52:56 +01:00 |
|
Clifford Wolf
|
aa25e426be
|
Added hex8tohex32.py script to cxxdemo
|
2015-11-17 14:22:19 +01:00 |
|
Clifford Wolf
|
4015d4a5ab
|
Added scripts/cxxdemo/
|
2015-11-04 12:55:33 +01:00 |
|
Clifford Wolf
|
51a9a9357a
|
Added scripts/yosys-cmp/
|
2015-10-30 14:25:04 +01:00 |
|
Clifford Wolf
|
6783abd994
|
Merge branch 'master' of github.com:cliffordwolf/picorv32
|
2015-10-13 11:06:40 +02:00 |
Larry Doolittle
|
f5eb93ff9d
|
Add a missing dependency
|
2015-10-13 11:06:11 +02:00 |
|
Clifford Wolf
|
a1b0d36432
|
Minor scripts/icestorm changes
|
2015-10-08 11:58:59 +02:00 |
|
Clifford Wolf
|
b5b1816101
|
Better "steps" default in smt2-bmc/sync.py
|
2015-10-06 11:35:23 +02:00 |
|
Clifford Wolf
|
e063f64ea2
|
Improvements to smtio.py
|
2015-09-18 20:19:14 +02:00 |
|
Clifford Wolf
|
00844092ee
|
Added scripts/yosys/synth_gates
|
2015-09-12 14:02:23 +02:00 |
|
Clifford Wolf
|
686289adc5
|
Improvements in smtio.py
|
2015-08-28 00:59:12 +02:00 |
|
Clifford Wolf
|
534ea17811
|
Improvements in smtio.py "timer display during solving" feature
|
2015-08-28 00:12:45 +02:00 |
|
Clifford Wolf
|
3512605052
|
Added smtio.py "timer display during solving" feature
|
2015-08-27 22:25:11 +02:00 |
|
Clifford Wolf
|
ebb0ea6f7b
|
Added mkvcd class to smtio.py
|
2015-08-27 13:44:53 +02:00 |
|
Clifford Wolf
|
4b62d4cbb9
|
Added (set-info ..) generation to smtio.py
|
2015-08-27 12:46:02 +02:00 |
|
Clifford Wolf
|
8d1956f0da
|
Using "#!/usr/bin/env python3"
|
2015-08-22 09:54:21 +02:00 |
|
Clifford Wolf
|
c6ee9522df
|
More improvements in smt2-bmc scripts
|
2015-08-15 18:07:01 +02:00 |
|
Clifford Wolf
|
e4ddc26576
|
Added cvc4 and mathsat to scripts/smt2-bmc
|
2015-08-15 11:51:55 +02:00 |
|
Clifford Wolf
|
f227332a98
|
Added scripts/smt2-bmc/sync.*
|
2015-08-15 11:28:35 +02:00 |
|
Clifford Wolf
|
ec0891326a
|
Renamed scripts/smt2-bmc/mem_equiv to .../async
|
2015-08-15 10:50:27 +02:00 |
|
Clifford Wolf
|
b28e82cb81
|
Refactoring of scripts/smt2-bmc/
|
2015-08-15 00:20:06 +02:00 |
|
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 |