AngeloJacobo
|
5486aa4429
|
removed old
|
2023-07-19 18:58:31 +08:00 |
|
AngeloJacobo
|
487b026f6c
|
add test to wb2
|
2023-07-19 18:50:23 +08:00 |
|
AngeloJacobo
|
c885e3286c
|
update wcfg
|
2023-07-19 18:48:59 +08:00 |
|
AngeloJacobo
|
60e40f9d35
|
less simulation warning
|
2023-07-19 18:48:31 +08:00 |
|
AngeloJacobo
|
e38859ef78
|
resolved warning from vivado on IOBDELAY
|
2023-07-19 18:47:24 +08:00 |
|
AngeloJacobo
|
7142dd9cdb
|
added more registers and formal assertions to wb2
|
2023-07-19 18:46:36 +08:00 |
|
AngeloJacobo
|
137e30ba36
|
resolve vivado warnings
|
2023-07-17 21:39:07 +08:00 |
|
AngeloJacobo
|
97e740139f
|
resolved vivado warnings
|
2023-07-17 21:38:20 +08:00 |
|
AngeloJacobo
|
983919d9df
|
removed unneeded .* files
|
2023-07-16 08:52:10 +08:00 |
|
AngeloJacobo
|
12c947afb1
|
Merge branch 'main' of https://github.com/AngeloJacobo/DDR3_Controller into main
|
2023-07-16 08:46:27 +08:00 |
|
AngeloJacobo
|
4f857e08f4
|
add files back after git rm -r cached .
|
2023-07-16 08:46:16 +08:00 |
|
AngeloJacobo
|
4e61060927
|
update wcfg
|
2023-07-16 08:40:04 +08:00 |
|
AngeloJacobo
|
b16c4d56cd
|
fixed error due to missing port dm and incorrect IO type for aux
|
2023-07-16 08:39:24 +08:00 |
|
AngeloJacobo
|
b80bda4a46
|
resolve warning from verilator linting
|
2023-07-16 08:38:20 +08:00 |
|
AngeloJacobo
|
019722bc70
|
resolve warnings and errors from verilator linting
|
2023-07-16 08:17:55 +08:00 |
|
Angelo Jacobo
|
9a29fba26b
|
Update formal.gtkw
|
2023-07-13 19:35:18 +08:00 |
|
Angelo Jacobo
|
c45fd85ee4
|
Update formal_wb2.gtkw
|
2023-07-13 19:34:56 +08:00 |
|
Angelo Jacobo
|
bd23827864
|
delete, replace with much cleaner xsim/
|
2023-07-13 19:29:20 +08:00 |
|
AngeloJacobo
|
352205c970
|
test test
|
2023-07-13 19:26:36 +08:00 |
|
AngeloJacobo
|
bad4ca3086
|
delete
|
2023-07-13 19:25:51 +08:00 |
|
AngeloJacobo
|
fb7f48b3b8
|
add git ignore
|
2023-07-13 19:19:43 +08:00 |
|
AngeloJacobo
|
b2fd0bf4fe
|
add formal gtkw files
|
2023-07-13 19:18:35 +08:00 |
|
AngeloJacobo
|
ac3af7f23f
|
deleted
|
2023-07-13 19:17:25 +08:00 |
|
AngeloJacobo
|
17e7040626
|
set different FLY_BY_DELAY for each lanes
|
2023-07-13 19:04:43 +08:00 |
|
AngeloJacobo
|
4273a172f5
|
add wishbone 2 interface
|
2023-07-13 18:57:35 +08:00 |
|
AngeloJacobo
|
29ef663d87
|
set parameter FLY_BY_DELAY for each instantiated ddr3, the delay value is retrieved from 8192Mb_ddr3_parameters.vh
|
2023-07-13 18:55:57 +08:00 |
|
AngeloJacobo
|
6655959514
|
set different fly_by_delays for each lanes
|
2023-07-13 18:54:25 +08:00 |
|
AngeloJacobo
|
ecb4cb5b2c
|
moved FLY_BY_DELAY to this module so multiple instantiated ddr3 can have different set FLY_BY_DELAY
|
2023-07-13 18:52:43 +08:00 |
|
AngeloJacobo
|
ee3d9d4be7
|
moved phy to TOP and controller to MAIN, removed constraints for xdc file
|
2023-07-13 18:50:56 +08:00 |
|
AngeloJacobo
|
ee83028986
|
make stall and accessible outside, removed added assumptions with i_slave_busy
|
2023-07-13 18:48:34 +08:00 |
|
AngeloJacobo
|
2541d0afcc
|
added wishbone 2 ports
|
2023-07-13 18:45:43 +08:00 |
|
AngeloJacobo
|
6fef8081ce
|
delete copy
|
2023-07-13 18:45:00 +08:00 |
|
AngeloJacobo
|
89c2b8fbd7
|
set depth to 7 (minimum)
|
2023-07-13 18:43:47 +08:00 |
|
AngeloJacobo
|
47766cb8e8
|
added wishbone 2 and formally verified it
|
2023-07-13 18:41:25 +08:00 |
|
AngeloJacobo
|
5904a4910d
|
shortened formal depth from 9 to 7
|
2023-07-09 09:34:03 +08:00 |
|
AngeloJacobo
|
b03ca1864f
|
shortened formal depth from 17 to 9
|
2023-07-08 10:19:58 +08:00 |
|
AngeloJacobo
|
25d7f3bffd
|
update gtkw
|
2023-07-06 20:33:48 +08:00 |
|
AngeloJacobo
|
a4d4e3a099
|
change all to non-blocking
|
2023-07-06 20:32:12 +08:00 |
|
AngeloJacobo
|
b3c9bdb650
|
pass test for timing params with depth of 9
|
2023-07-06 20:29:50 +08:00 |
|
AngeloJacobo
|
69c34dbf8f
|
update logs
|
2023-07-05 19:48:14 +08:00 |
|
AngeloJacobo
|
1881e059bc
|
add summary log of regression test (not yet complete)
|
2023-07-05 19:47:00 +08:00 |
|
AngeloJacobo
|
10c290f9f8
|
temp newest version
|
2023-07-05 19:46:18 +08:00 |
|
AngeloJacobo
|
122e2a2d3c
|
exported simulation scripts from Vivado
|
2023-07-05 16:50:40 +08:00 |
|
AngeloJacobo
|
ec6488f68f
|
gtkw for testing time parameters
|
2023-07-05 16:48:40 +08:00 |
|
AngeloJacobo
|
ab17b8012b
|
add average rate in report
|
2023-07-05 16:44:31 +08:00 |
|
AngeloJacobo
|
7af3358162
|
update vivado wcfg file
|
2023-07-05 16:42:48 +08:00 |
|
AngeloJacobo
|
3250d8d368
|
write dqs toggles for half slow clk cycle at the end, needed when DQ is set to be delayed (non-zero flyby delay)
|
2023-07-05 16:41:55 +08:00 |
|
AngeloJacobo
|
ce3ca7e158
|
pre-refresh delay is now flexible and not fixed. Separated formal properties for testing time parameters
|
2023-07-05 16:35:57 +08:00 |
|
AngeloJacobo
|
217770b977
|
verified precharge and activate cmds, fixed bug in write_calib cmd
|
2023-07-02 06:38:33 +08:00 |
|
AngeloJacobo
|
3c32501ffd
|
log before passing fwb_slave
|
2023-06-29 19:37:49 +08:00 |