picorv32 - Fork of https://github.com/YosysHQ/picorv32.

	Commit message (Expand)	Author	Age	Files	Lines
...
*	More fixes related to assertpmux checks	Clifford Wolf	2016-09-13	1	-2/+9
*	Added more asserts for the memory interface	Clifford Wolf	2016-09-13	2	-3/+36
*	tracecmp2 found a bug in this config	Clifford Wolf	2016-09-13	1	-5/+5
*	Added scripts/smtbmc/tracecmp2	Clifford Wolf	2016-09-13	4	-0/+212
*	Merge pull request #21 from wallclimber21/mem_wdata	Clifford Wolf	2016-09-08	1	-1/+3
\|\
\| *	Fix tabs	Tom Verbeure	2016-09-07	1	-2/+2
\| *	Only clock mem_wdata when necessary	Tom Verbeure	2016-09-07	1	-1/+3
* \|	Using assertpmux in "make check"	Clifford Wolf	2016-09-07	2	-2/+29
* \|	Two minor bugfixes	Clifford Wolf	2016-09-06	1	-2/+2
* \|	Added misisng MUL_CLKGATE stage	Clifford Wolf	2016-09-06	1	-4/+3
* \|	Added picorv32_pcpi_fast_mul MUL_CLKGATE	Clifford Wolf	2016-09-05	1	-4/+9
* \|	More picorv32_pcpi_mul timing improvements	Clifford Wolf	2016-09-04	1	-7/+12
* \|	Added optional FFs to picorv32_pcpi_fast_mul	Clifford Wolf	2016-09-04	1	-16/+24
* \|	Renamed testbench_slow_mem to testbench_nola (no look ahead)	Clifford Wolf	2016-09-04	3	-7/+11
* \|	Cleanups in dhrystone/testbench_slow_mem.v, added results to README	Clifford Wolf	2016-09-04	2	-24/+6
* \|	Merge pull request #19 from wallclimber21/dhrystone_slow	Clifford Wolf	2016-09-04	2	-1/+122
\|\ \
\| * \|	Fix tabs	Tom Verbeure	2016-09-03	1	-29/+29
\| * \|	testbench_slow_mem	Tom Verbeure	2016-09-02	2	-1/+122
\| \|/
* \|	Added generic "make check-<solver>" rule	Clifford Wolf	2016-09-03	1	-7/+5
* \|	Minor bugfix/cleanup (mostly for formal verification)	Clifford Wolf	2016-09-03	1	-1/+1
\|/
*	Merge pull request #18 from wallclimber21/quartus	Clifford Wolf	2016-08-31	20	-0/+680
\|\
\| *	Delete unusused file	Tom Verbeure	2016-08-31	1	-8/+0
\| *	synth_speed	Tom Verbeure	2016-08-30	3	-13/+6
\| *	Don't delete non-existing files	Tom Verbeure	2016-08-30	1	-2/+2
\| *	synth_system	Tom Verbeure	2016-08-30	5	-36/+9
\| *	synth_area_large and synth_area_regular	Tom Verbeure	2016-08-30	6	-22/+15
\| *	Make synth_area_small work	Tom Verbeure	2016-08-30	5	-20/+16
\| *	Add QUARTUS_BIN prefix	Tom Verbeure	2016-08-30	1	-3/+3
\| *	Increase countdown by 1	Tom Verbeure	2016-08-30	1	-1/+1
\| *	table.txt generation works	Tom Verbeure	2016-08-29	3	-27/+27
\| *	Checkpoint: map, fit	Tom Verbeure	2016-08-29	2	-37/+19
\| *	Make sim_system work	Tom Verbeure	2016-08-29	2	-20/+10
\| *	Clone vivado dir into quartus dir	Tom Verbeure	2016-08-29	20	-0/+761
* \|	Moved cpuregs read/write to extra always blocks	Clifford Wolf	2016-08-31	1	-45/+79
* \|	Be more explicit about single register file write port	Clifford Wolf	2016-08-31	1	-4/+16
* \|	Using new yosys write_smt2 cmdline	Clifford Wolf	2016-08-30	1	-1/+1
* \|	Using new yosys write_smt2 cmdline	Clifford Wolf	2016-08-30	3	-5/+5
* \|	Using fast mul in dhrystone benchmark	Clifford Wolf	2016-08-30	2	-4/+3
* \|	Dhrystone: Add toolchain prefix to objcopy	Tom Verbeure	2016-08-30	2	-1/+2
* \|	Merged picorv32_pcpi_fast_mul changes	Clifford Wolf	2016-08-30	4	-3/+110
\|\ \
\| * \|	Bugfix in picorv32_pcpi_fast_mul	Clifford Wolf	2016-08-30	1	-1/+1
\| * \|	Merge branch 'fast_mul_opt' of https://github.com/wallclimber21/picorv32	Clifford Wolf	2016-08-30	1	-1/+2
\| \|\ \
\| \| * \|	Reduce rs1, rs2 from 64 to 33 bits to make life for synthesis tools easier.	Tom Verbeure	2016-08-29	1	-1/+2
\| \| \|/
\| \| *	Merge pull request #1 from cliffordwolf/master	John	2016-08-29	10	-67/+386
\| \| \|\ \| \|_\|/ \|/\| \|
\| * \|	Minor fixes/cleanups in mul reset logic	Clifford Wolf	2016-08-30	4	-1/+107
\|/ /
* \|	Added picorv32_pcpi_fast_mul core	Clifford Wolf	2016-08-29	2	-12/+104
* \|	Fixed bug in test firmware IRQ handling	Clifford Wolf	2016-08-29	1	-1/+1
* \|	More asserts	Clifford Wolf	2016-08-29	1	-0/+9
* \|	Added more asserts to picorv32, more smtbmc examples	Clifford Wolf	2016-08-29	8	-54/+272
\|/
*	Some minor cleanups	Clifford Wolf	2016-08-26	1	-12/+10