AngeloJacobo
|
e9f1ab4971
|
modify debug port logic for wbscope
|
2023-08-04 07:57:09 +08:00 |
|
AngeloJacobo
|
0753e6e157
|
fixed localparam value for wb_addr_bits
|
2023-08-04 07:53:12 +08:00 |
|
AngeloJacobo
|
72dc00742b
|
correct generate indexes
|
2023-08-04 07:52:31 +08:00 |
|
AngeloJacobo
|
1bfd851a6e
|
pass formal with LANES either 1,2,4,8
|
2023-08-04 07:49:25 +08:00 |
|
AngeloJacobo
|
2c73f38f99
|
added debug port and max function for int type
|
2023-08-01 15:58:58 +08:00 |
|
AngeloJacobo
|
d5f1d600ea
|
resolve verilator warnings and add option YOSYS for not using input real in functions
|
2023-07-24 17:27:17 +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
|
4f857e08f4
|
add files back after git rm -r cached .
|
2023-07-16 08:46:16 +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 |
|
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
|
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
|
b3c9bdb650
|
pass test for timing params with depth of 9
|
2023-07-06 20:29:50 +08:00 |
|
AngeloJacobo
|
10c290f9f8
|
temp newest version
|
2023-07-05 19:46:18 +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
|
188b26ee12
|
assume no request when slave busy (calibration or at refresh)
|
2023-06-29 12:58:41 +08:00 |
|
AngeloJacobo
|
760c75d238
|
passes optimized pipeline stall control and passed fwb_slave properties
|
2023-06-29 12:56:24 +08:00 |
|
AngeloJacobo
|
2cfbba6d28
|
change ff to unix
|
2023-06-24 08:04:21 +08:00 |
|
AngeloJacobo
|
2221a739db
|
add 2 clocks in prestall delay to pass tWR violation, add more asserts for fwb_slave
|
2023-06-24 07:46:09 +08:00 |
|
AngeloJacobo
|
b0e3b83e96
|
added wb properties from zipcpu repo
|
2023-06-22 19:54:39 +08:00 |
|
AngeloJacobo
|
ef10bfd455
|
add data mask port
|
2023-06-22 19:52:45 +08:00 |
|
AngeloJacobo
|
272711762e
|
add phy for data mask (oserdes -> odelay -> obuf)
|
2023-06-22 19:51:06 +08:00 |
|
AngeloJacobo
|
0ffdacf6e7
|
add logic for write wb_ack, wb_sel, and aux
|
2023-06-22 19:49:05 +08:00 |
|
AngeloJacobo
|
0923fdc0b6
|
add formal assertions using fifo to prove every wb request has a corresponding read/write command output
|
2023-06-15 17:43:15 +08:00 |
|
AngeloJacobo
|
053a511144
|
set write-to-read delay for all banks for every write
|
2023-06-10 08:19:16 +08:00 |
|
AngeloJacobo
|
806b49ebd5
|
changed folder name with underscore
|
2023-06-08 14:05:35 +08:00 |
|
AngeloJacobo
|
f3e15e9ea4
|
added test 1: Sequential write then sequential read
|
2023-06-08 13:56:54 +08:00 |
|
AngeloJacobo
|
2e6c2183aa
|
added sim duration for possible bus delays
|
2023-06-08 13:55:20 +08:00 |
|
AngeloJacobo
|
de37c5a972
|
added wires for loadingg delay tap
|
2023-06-08 13:53:07 +08:00 |
|
AngeloJacobo
|
b9204332b1
|
made delay tap loadable
|
2023-06-08 13:52:04 +08:00 |
|
AngeloJacobo
|
c3707dab53
|
made delay tap loadable and made delay more flexible to use all 32 taps for both dqs and dq
|
2023-06-08 11:01:56 +08:00 |
|
Angelo Jacobo
|
98ed92a65b
|
added testbench for a single ddr3 device sim
|
2023-06-03 14:28:55 +08:00 |
|
Angelo Jacobo
|
9a19f82377
|
added testbench for model simulation
|
2023-06-03 14:24:11 +08:00 |
|
Angelo Jacobo
|
884fd2bcad
|
Add files via upload
|
2023-06-01 19:59:45 +08:00 |
|
Angelo Jacobo
|
6127bba77a
|
fixed data alignment for write operation, fixed CL and CWL for 100MHz:400MHz clk
|
2023-06-01 19:18:41 +08:00 |
|
Angelo Jacobo
|
26af4960e9
|
fixed display for prev_cmd and time difference
|
2023-06-01 19:15:36 +08:00 |
|
Angelo Jacobo
|
0a43b04f9e
|
added phy for generating differential o_ddr3_clk
|
2023-05-29 21:51:48 +08:00 |
|
Angelo Jacobo
|
d6b6c0b9a4
|
added o_ddr3_clk port
|
2023-05-29 21:48:44 +08:00 |