fc71cadda4
scripts/icestorm: switch to nextpnr-ice40
...
nextpnr-ice40 gives a better fMAX for this design (by about ~9Mhz for
me: ~59MHz -> ~68MHz) and is The Way Of The Future.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-11 16:09:07 -06:00
070367c88d
scripts/icestorm: touch up Makefile a bit
...
This touches up the Makefile so that it:
- uses $@, $< and $^ in more places for brevity and robustness (typo
guards, etc)
- tracks dependencies slightly better (e.g. .pcf file changes weren't
tracked before)
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-11 15:59:56 -06:00
d7daf9b2cd
use 32 bit toolchain
2018-11-08 17:52:05 -06:00
451bf030be
update to current vivado version
2018-11-08 17:51:45 -06:00
4e766af587
Renamed linker file
2018-10-18 20:52:46 +00:00
5c0e137792
Removed dead code and cleanup before pull request
2018-10-18 20:51:40 +00:00
73318eaeab
Removed multiplier/divider
2018-10-18 20:33:40 +00:00
f47ac81c89
Passing with custom linker file
2018-10-18 18:47:06 +00:00
8b32bc5bd6
Fix miscellaneous typos in documentation
2018-04-17 17:53:08 +02:00
f52f36762e
Update riscv-gnu-toolchain to 1b80cbe
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-04-03 20:14:17 +02:00
77a6b2dd26
scripts/icestorm: use 'yosys-config' to find data directory
...
This fixes the icestorm script to query yosys-config itself for the
right data directory. Not only does this fix installs where yosys was
not installed into /usr/local, it also ensures Icarus picks up a data
directory consistent with the version of yosys that you're using.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-02-14 16:54:47 -06:00
2260d2ab8a
scripts: remove old -m32 argument to riscv-gcc
...
See also 55da6c7cd1
2018-02-14 16:54:47 -06:00
31588b871e
Update evaluation results to Vivado 2017.3
2017-10-21 02:54:19 +02:00
9dbc96e330
Update vivado evaluations
2017-07-20 09:56:30 +02:00
2bc93eb8d0
Fix scripts/torture gcc calls
2017-07-10 11:52:10 +02:00
c9de8001fe
Remove some trailing whitespace
2017-06-13 13:22:25 +02:00
42b4397390
Add scripts/presyn/ example
2017-02-09 15:15:46 +01:00
4e6cad88bc
Added riscv.ld linker script (static entry point at 0x10000)
2017-01-13 17:04:22 +01:00
ca5702c75f
Fixed "make test_synth"
2016-12-15 13:11:26 +01:00
9d6fdda1fa
Added cpu?_trap signals to tracecmp3.v
2016-12-03 12:48:00 +01:00
9c494af6e1
Removed old scripts/smt2-bmc/
2016-12-03 12:28:36 +01:00
bc47b91260
Added tracecmp3 smtbmc script
2016-11-16 16:58:51 +01:00
63af54702c
Improved tomthumbtestgen
2016-10-24 16:53:34 +02:00
f79c8344fe
Added scripts/tomthumbtestgen
2016-10-23 14:32:26 +02:00
51b1a88333
Added smtbmc axicheck2, improved axicheck
2016-10-01 17:08:19 +02:00
a6f5bc4f05
Added smtbmc axicheck
2016-09-30 18:18:32 +02:00
197b6ffe2b
Just COMPRESSED_ISA is enough to trigger the bug
2016-09-14 10:51:09 +02:00
702ce0eb79
tracecmp2 found a bug in this config
2016-09-13 18:36:56 +02:00
096224273c
Added scripts/smtbmc/tracecmp2
2016-09-13 13:37:26 +02:00
0906b1b4b4
Merge pull request #18 from wallclimber21/quartus
...
./scripts/quartus
2016-08-31 17:21:23 +02:00
35b0a592e2
Delete unusused file
2016-08-31 07:36:32 -07:00
41918ee265
synth_speed
2016-08-30 23:02:31 -07:00
91deccd3a1
Don't delete non-existing files
2016-08-30 22:56:31 -07:00
e7f5d640ca
synth_system
2016-08-30 22:54:14 -07:00
209456a6c8
synth_area_large and synth_area_regular
2016-08-30 22:36:06 -07:00
36152a5688
Make synth_area_small work
2016-08-30 22:24:48 -07:00
29e90e4dff
Add QUARTUS_BIN prefix
2016-08-30 22:23:50 -07:00
413a65e39a
Increase countdown by 1
2016-08-30 08:08:10 -07:00
8710809978
Using new yosys write_smt2 cmdline
2016-08-30 12:44:03 +02:00
cefe09b8d4
Minor fixes/cleanups in mul reset logic
2016-08-30 11:12:16 +02:00
248560c18d
table.txt generation works
2016-08-29 23:22:53 -07:00
71a46afa79
Checkpoint: map, fit
2016-08-29 22:14:39 -07:00
c96ed77c4d
Make sim_system work
2016-08-29 21:37:29 -07:00
7bf87502aa
Clone vivado dir into quartus dir
2016-08-29 21:12:08 -07:00
28fe45ffe9
Added more asserts to picorv32, more smtbmc examples
2016-08-29 17:23:00 +02:00
d1d3c3c5e1
Added next gen yosys-smtbmc verification scripts
2016-08-26 23:39:39 +02:00
f9da3f2ce8
Minor fixes in scripts/icestorm/
2016-07-14 09:07:52 +02:00
f4bb91b060
RISC-V ISA 2.1 now calls "sbreak" officially "ebreak"
2016-06-06 10:46:52 +02:00
614164aabc
Added mem timing variations to scripts/csmith/ testbench
2016-05-07 22:13:18 +02:00
b2bcf143cb
Now using a truly minimalist syscalls.c
2016-05-05 15:13:48 +02:00
Austin Seipp
Emilio Rojas
Guy Hutchison
Larry Doolittle
Clifford Wolf
Tom Verbeure