Commits · _frozen_version_ · sdram20 / coqdram

Apr 19, 2024
- Updated README · 31d7caa0
  Felipe Lisboa authored 10 months ago
  
  31d7caa0
- Removed irrelevant submodules · 2b09fcd9
  Felipe Lisboa authored 10 months ago
  
  2b09fcd9
- Revert submodules change · cfdf88b8
  Felipe Lisboa authored 10 months ago
  
  cfdf88b8
- Changed submodules · 35c47b65
  Felipe Lisboa authored 10 months ago
  
  35c47b65
- CavaDRAM · e7e8b764
  Felipe Lisboa authored 10 months ago
  
  e7e8b764
- Updated TDMShelve -- RefreshGrant · 5581bb33
  Felipe Lisboa authored 10 months ago
  
  5581bb33
Apr 08, 2024
- Changed axiom about private bank mapping in TDM; Renamed things to TDMShelve · 646a29db
  Felipe Lisboa authored 11 months ago
  
  646a29db
Mar 14, 2024
- Example for thesis is fully functional. Corrected some errors · 34e2ebb8
  Felipe Lisboa authored 11 months ago
  
  34e2ebb8
Mar 11, 2024
- Fixed scheduling alg error: looks to be OK now · 0621c508
  Felipe Lisboa authored 1 year ago
  
  0621c508
Mar 08, 2024
- dsTDMimpSL function, implemented grants · 4d8813de
  Felipe Lisboa authored 1 year ago
  
  4d8813de
Mar 01, 2024
- First complete implementation of dsTDM. Updated some CavaDRAM proofs · 56620504
  Felipe Lisboa authored 1 year ago
  
  56620504
Feb 21, 2024
- Re-structured CavaDRAM library, updated some things in CoqDRAM · 86fb017a
  Felipe Lisboa authored 1 year ago
  
  86fb017a
Feb 13, 2024
- Correction on sub-module url · a8fbedc0
  Felipe Lisboa authored 1 year ago
  
  a8fbedc0
- Added silveroak as submodule · c4d3d0bf
  Felipe Lisboa authored 1 year ago
  
  c4d3d0bf
- Cleanning CavaDRAM code, added silveroak recompiled to sub-module list · 11529325
  Felipe Lisboa authored 1 year ago
  
  11529325
Feb 12, 2024
- Stable, clean, version · 69012101
  Felipe Lisboa authored 1 year ago
  
  69012101
Feb 08, 2024
- Added refresh version of normal implementations · e3abce5c
  Felipe Lisboa authored 1 year ago
  
  e3abce5c
- Succesfull merge between CavaDRAM most updated version and CoqDRAM · ab4eab4f
  Felipe Lisboa authored 1 year ago
  
  ab4eab4f
- Updated gitignore · 1a119cc6
  Felipe Lisboa authored 1 year ago
  
  1a119cc6
- New version of TDM fully functional · 31306af9
  Felipe Lisboa authored 1 year ago
  
  31306af9
Jan 30, 2024
- Finished refactoring FIFO conforming the new version of the framework · f147e348
  Felipe Lisboa authored 1 year ago
  
  f147e348
Jan 02, 2024
- First proof (T_RCD) of bank machine completed · 7753fef9
  Felipe Lisboa authored 1 year ago
  
  7753fef9
Dec 14, 2023
- Stable development, proof almost finished · ef617703
  Felipe Lisboa authored 1 year ago
  
  ef617703
Dec 06, 2023
- Update on dev · 698bf9e2
  Felipe Lisboa authored 1 year ago
  
  698bf9e2
Nov 16, 2023
- Update code · b748038a
  Felipe Lisboa authored 1 year ago
  
  b748038a
Oct 27, 2023
- Re-structuring the code base, new implementation interface · da947f67
  Felipe Lisboa authored 1 year ago
  
  da947f67
Aug 24, 2023
- New version of the framework · defeac4d
  Felipe Lisboa authored 1 year ago
  
  defeac4d
Jul 20, 2023
- Added new scheduling algorithms: dynamic TDM · e4124f2f
  Felipe Lisboa authored 1 year ago
  
  e4124f2f
Nov 18, 2022
- Updated ddr4controller submodule · 78462eee
  Felipe Lisboa authored 2 years ago
  
  78462eee
- Functional Cava Controllers · 7de4700f
  Felipe Lisboa authored 2 years ago
  
  7de4700f
Nov 16, 2022
- Added script to generate SV code · e6d04f59
  Felipe Lisboa authored 2 years ago
  
  e6d04f59
- Functional SMs with REFRESH enabled · e211a6d9
  Felipe Lisboa authored 2 years ago
  
  e211a6d9
Sep 08, 2022
- Fixed identation · 941d952b
  Felipe Lisboa authored 2 years ago
  
  941d952b
- Fixed typo · 475b4d4c
  Felipe Lisboa authored 2 years ago
  
  475b4d4c
- Merge DDR4/ and DDR3/ into a single framework · 24ec44a8
  Felipe Lisboa authored 2 years ago
  
  24ec44a8
- DDR4: adapting proofs to DDR4 modification · 52dd5004
  Felipe Lisboa authored 2 years ago
  
  52dd5004
- DDR4: updating trace & proofs · 58b06e84
  Felipe Lisboa authored 2 years ago
  
  58b06e84
Sep 02, 2022
- simulating the cava fifo state machine works · 24fd59b5
  Felipe Lisboa authored 2 years ago
  
  24fd59b5
- Changed README · 2e74acbc
  Felipe Lisboa authored 2 years ago
  
  2e74acbc
- Fix: Default_arbitrate definition does not need a Program command · 09096359
  Felipe Lisboa authored 2 years ago
  
  09096359