gram.git
4 years agoLog DRAM commands
Jean THOMAS [Fri, 17 Jul 2020 14:39:36 +0000 (16:39 +0200)]
Log DRAM commands

4 years agoPut proc_rmdead after proc_mux
Jean THOMAS [Fri, 17 Jul 2020 14:39:13 +0000 (16:39 +0200)]
Put proc_rmdead after proc_mux

4 years agoName each BankMachine instance to improve VCD output
Jean THOMAS [Fri, 17 Jul 2020 14:38:36 +0000 (16:38 +0200)]
Name each BankMachine instance to improve VCD output

4 years agoFix CRG parameters
Jean THOMAS [Fri, 17 Jul 2020 14:37:38 +0000 (16:37 +0200)]
Fix CRG parameters

4 years agoFix DQS_N errors
Jean THOMAS [Fri, 17 Jul 2020 14:00:59 +0000 (16:00 +0200)]
Fix DQS_N errors

4 years agoAdd more read transactions, add checks, ASAP
Jean THOMAS [Fri, 17 Jul 2020 13:13:26 +0000 (15:13 +0200)]
Add more read transactions, add checks,  ASAP

4 years agoRemove event in ECP5DDRPHY
Jean THOMAS [Fri, 17 Jul 2020 09:25:38 +0000 (11:25 +0200)]
Remove event in ECP5DDRPHY

4 years agoRemove comment
Jean THOMAS [Fri, 17 Jul 2020 09:25:20 +0000 (11:25 +0200)]
Remove comment

4 years agoUse assertions in simsoc testbench
Jean THOMAS [Thu, 16 Jul 2020 13:36:00 +0000 (15:36 +0200)]
Use assertions in simsoc testbench

4 years agoAdd logging and delays to the simulation to make it run better at faster speeds
Jean THOMAS [Thu, 16 Jul 2020 13:23:08 +0000 (15:23 +0200)]
Add logging and delays to the simulation to make it run better at faster speeds

4 years agoTweak yosys script
Jean THOMAS [Thu, 16 Jul 2020 13:22:22 +0000 (15:22 +0200)]
Tweak yosys script

4 years agoBackport modifications from example's CRG
Jean THOMAS [Thu, 16 Jul 2020 13:21:24 +0000 (15:21 +0200)]
Backport modifications from example's CRG

4 years agoWrite logic equivalences in a clearer way
Jean THOMAS [Wed, 15 Jul 2020 16:09:08 +0000 (18:09 +0200)]
Write logic equivalences in a clearer way

4 years agoMake Micron model read the mem_init.txt file
Jean THOMAS [Wed, 15 Jul 2020 15:08:49 +0000 (17:08 +0200)]
Make Micron model read the mem_init.txt file

4 years agoMake gram simulations faster
Jean THOMAS [Wed, 15 Jul 2020 15:08:26 +0000 (17:08 +0200)]
Make gram simulations faster

4 years agoAdd initial memory content
Jean THOMAS [Wed, 15 Jul 2020 15:07:33 +0000 (17:07 +0200)]
Add initial memory content

4 years agoAdd early code for RAM calibration
Jean THOMAS [Wed, 15 Jul 2020 15:07:12 +0000 (17:07 +0200)]
Add early code for RAM calibration

4 years agoExpose DFII functions to other objects
Jean THOMAS [Wed, 15 Jul 2020 15:06:31 +0000 (17:06 +0200)]
Expose DFII functions to other objects

4 years agoIncrease UART bridge speed in simulation, decrease simulation time
Jean THOMAS [Wed, 15 Jul 2020 10:44:41 +0000 (12:44 +0200)]
Increase UART bridge speed in simulation, decrease simulation time

4 years agoLog RAM signals
Jean THOMAS [Wed, 15 Jul 2020 10:18:28 +0000 (12:18 +0200)]
Log RAM signals

4 years agoFix code styling
Jean THOMAS [Wed, 15 Jul 2020 10:02:27 +0000 (12:02 +0200)]
Fix code styling

4 years agoRemove arbiter from headless-ecpix5 example
Jean THOMAS [Wed, 15 Jul 2020 09:53:11 +0000 (11:53 +0200)]
Remove arbiter from headless-ecpix5 example

4 years agoUse random values for memtest
Jean THOMAS [Wed, 15 Jul 2020 09:16:04 +0000 (11:16 +0200)]
Use random values for memtest

4 years agoPer bytes error highlighting
Jean THOMAS [Mon, 13 Jul 2020 13:20:49 +0000 (15:20 +0200)]
Per bytes error highlighting

4 years agoMake _AddressSlicer an elaboratable
Jean THOMAS [Mon, 13 Jul 2020 12:08:13 +0000 (14:08 +0200)]
Make _AddressSlicer an elaboratable

4 years agoUpdate amount of tests
Jean THOMAS [Mon, 13 Jul 2020 12:00:34 +0000 (14:00 +0200)]
Update amount of tests

4 years agoRemove unnecessary arbiter
Jean THOMAS [Mon, 13 Jul 2020 12:00:06 +0000 (14:00 +0200)]
Remove unnecessary arbiter

4 years agoFix timings in libgram
Jean THOMAS [Mon, 13 Jul 2020 11:08:17 +0000 (13:08 +0200)]
Fix timings in libgram

4 years agoReduce POR duration
Jean THOMAS [Mon, 13 Jul 2020 11:07:50 +0000 (13:07 +0200)]
Reduce POR duration

4 years agoFix gearing and UART speed
Jean THOMAS [Mon, 13 Jul 2020 11:06:58 +0000 (13:06 +0200)]
Fix gearing and UART speed

4 years agoAdd additional opt+clean and print stats
Jean THOMAS [Mon, 13 Jul 2020 11:06:31 +0000 (13:06 +0200)]
Add additional opt+clean and print stats

4 years agoMake full use of the native port
Jean THOMAS [Mon, 13 Jul 2020 11:05:05 +0000 (13:05 +0200)]
Make full use of the native port

4 years agoFix gearing
Jean THOMAS [Mon, 13 Jul 2020 09:58:47 +0000 (11:58 +0200)]
Fix gearing

4 years agoFix FakePHY bank emulation
Jean THOMAS [Mon, 13 Jul 2020 09:18:16 +0000 (11:18 +0200)]
Fix FakePHY bank emulation

4 years agoRemove UnusedElaboratable warning
Jean THOMAS [Mon, 13 Jul 2020 08:49:49 +0000 (10:49 +0200)]
Remove UnusedElaboratable warning

4 years agoFix memtest tests (missing parenthesis)
Jean THOMAS [Fri, 10 Jul 2020 17:20:20 +0000 (19:20 +0200)]
Fix memtest tests (missing parenthesis)

4 years agoAdd more memory tests
Jean THOMAS [Fri, 10 Jul 2020 17:13:09 +0000 (19:13 +0200)]
Add more memory tests

4 years agoRemove unused files
Jean THOMAS [Fri, 10 Jul 2020 16:39:35 +0000 (18:39 +0200)]
Remove unused files

4 years agoPut every gram component in the dramsync clock domain
Jean THOMAS [Fri, 10 Jul 2020 16:39:04 +0000 (18:39 +0200)]
Put every gram component in the dramsync clock domain

4 years agoUse clock freq from platform
Jean THOMAS [Fri, 10 Jul 2020 16:38:35 +0000 (18:38 +0200)]
Use clock freq from platform

4 years agoUse R02 platform file
Jean THOMAS [Fri, 10 Jul 2020 16:37:24 +0000 (18:37 +0200)]
Use R02 platform file

4 years agoExternalize CRG
Jean THOMAS [Fri, 10 Jul 2020 16:35:10 +0000 (18:35 +0200)]
Externalize CRG

4 years agoFix DDR3 module parameter
Jean THOMAS [Fri, 10 Jul 2020 16:32:32 +0000 (18:32 +0200)]
Fix DDR3 module parameter

4 years agoFix code styling
Jean THOMAS [Fri, 10 Jul 2020 16:27:45 +0000 (18:27 +0200)]
Fix code styling

4 years agoAdd a name to timing_checker submodule
Jean THOMAS [Fri, 10 Jul 2020 16:27:05 +0000 (18:27 +0200)]
Add a name to timing_checker submodule

4 years agoRework headless client interface
Jean THOMAS [Fri, 10 Jul 2020 16:26:02 +0000 (18:26 +0200)]
Rework headless client interface

4 years agoImprove simulation output: add names to submodules
Jean THOMAS [Fri, 10 Jul 2020 15:46:06 +0000 (17:46 +0200)]
Improve simulation output: add names to submodules

4 years agoDon't test for tREFI=1 in RefreshTimer
Jean THOMAS [Fri, 10 Jul 2020 14:15:01 +0000 (16:15 +0200)]
Don't test for tREFI=1 in RefreshTimer

4 years agoAdd more R/W operations in test_soc
Jean THOMAS [Fri, 10 Jul 2020 14:13:40 +0000 (16:13 +0200)]
Add more R/W operations in test_soc

4 years agoAdd script for launching unit tests with fail fast enabled
Jean THOMAS [Fri, 10 Jul 2020 14:13:09 +0000 (16:13 +0200)]
Add script for launching unit tests with fail fast enabled

4 years agoRemove GTKW files
Jean THOMAS [Fri, 10 Jul 2020 14:12:08 +0000 (16:12 +0200)]
Remove GTKW files

4 years agoFix formal checks for RefreshTimer
Jean THOMAS [Fri, 10 Jul 2020 14:09:38 +0000 (16:09 +0200)]
Fix formal checks for RefreshTimer

4 years agoFix tests for _AntiStarvation
Jean THOMAS [Fri, 10 Jul 2020 13:43:21 +0000 (15:43 +0200)]
Fix tests for _AntiStarvation

4 years agoFix code styling
Jean THOMAS [Fri, 10 Jul 2020 13:07:31 +0000 (15:07 +0200)]
Fix code styling

4 years agoRename VCD file output
Jean THOMAS [Fri, 10 Jul 2020 13:06:51 +0000 (15:06 +0200)]
Rename VCD file output

4 years agoRename tests, add interleaved read/write test
Jean THOMAS [Fri, 10 Jul 2020 12:18:38 +0000 (14:18 +0200)]
Rename tests, add interleaved read/write test

4 years agoImplement a memory in the bank simulator, check for R/W operations functionnality
Jean THOMAS [Fri, 10 Jul 2020 12:09:21 +0000 (14:09 +0200)]
Implement a memory in the bank simulator, check for R/W operations functionnality

4 years agoFix timings in simulation to prevent tDLLK errors
Jean THOMAS [Fri, 10 Jul 2020 11:04:26 +0000 (13:04 +0200)]
Fix timings in simulation to prevent tDLLK errors

4 years agoAdd POR start/end logging in simsoc testbench
Jean THOMAS [Fri, 10 Jul 2020 11:03:49 +0000 (13:03 +0200)]
Add POR start/end logging in simsoc testbench

4 years agoMake power-on delay signal synchronous
Jean THOMAS [Thu, 9 Jul 2020 14:26:16 +0000 (16:26 +0200)]
Make power-on delay signal synchronous

4 years agoFix formatting in headless example
Jean THOMAS [Thu, 9 Jul 2020 14:25:25 +0000 (16:25 +0200)]
Fix formatting in headless example

4 years agoAdd test for SoC readout
Jean THOMAS [Thu, 9 Jul 2020 13:08:30 +0000 (15:08 +0200)]
Add test for SoC readout

4 years agoDisable Assert statements until they are natively supported in nMigen
Jean THOMAS [Thu, 9 Jul 2020 13:08:12 +0000 (15:08 +0200)]
Disable Assert statements until they are natively supported in nMigen

4 years agoComment buggy assertions
Jean THOMAS [Thu, 9 Jul 2020 13:04:17 +0000 (15:04 +0200)]
Comment buggy assertions

4 years agoAdd imports for Assert & Assume in FakePHY
Jean THOMAS [Thu, 9 Jul 2020 13:03:55 +0000 (15:03 +0200)]
Add imports for Assert & Assume in FakePHY

4 years agoFix counter reset condition bug
Jean THOMAS [Thu, 9 Jul 2020 12:53:53 +0000 (14:53 +0200)]
Fix counter reset condition bug

4 years agoFix syntax in FakePHY assertions
Jean THOMAS [Thu, 9 Jul 2020 12:24:25 +0000 (14:24 +0200)]
Fix syntax in FakePHY assertions

4 years agoUse assertions as a temporary replacement for Display statements
Jean THOMAS [Thu, 9 Jul 2020 12:09:19 +0000 (14:09 +0200)]
Use assertions as a temporary replacement for Display statements

4 years agoRemove unused BitFlip
Jean THOMAS [Thu, 9 Jul 2020 12:07:18 +0000 (14:07 +0200)]
Remove unused BitFlip

4 years agoUpdate build script to include software version
Jean THOMAS [Thu, 9 Jul 2020 10:29:28 +0000 (12:29 +0200)]
Update build script to include software version

4 years agoAdd temporary code for SoC tests with FakePHY
Jean THOMAS [Wed, 8 Jul 2020 16:43:20 +0000 (18:43 +0200)]
Add temporary code for SoC tests with FakePHY

4 years agoPort FakePHY to nMigen
Jean THOMAS [Wed, 8 Jul 2020 16:42:39 +0000 (18:42 +0200)]
Port FakePHY to nMigen

4 years agoMatch ECPIX-5 DRAM parameters in Micron's model
Jean THOMAS [Wed, 8 Jul 2020 15:31:16 +0000 (17:31 +0200)]
Match ECPIX-5 DRAM parameters in Micron's model

4 years agoImport fake PHY from LiteDRAM (non functionnal ATM)
Jean THOMAS [Wed, 8 Jul 2020 15:30:35 +0000 (17:30 +0200)]
Import fake PHY from LiteDRAM (non functionnal ATM)

4 years agoFix styling
Jean THOMAS [Wed, 8 Jul 2020 13:38:12 +0000 (15:38 +0200)]
Fix styling

4 years agoAdd test case for AntiStarvation
Jean THOMAS [Wed, 8 Jul 2020 13:35:18 +0000 (15:35 +0200)]
Add test case for AntiStarvation

4 years agoFix bugs in _AntiStarvation
Jean THOMAS [Wed, 8 Jul 2020 13:33:41 +0000 (15:33 +0200)]
Fix bugs in _AntiStarvation

4 years agoUpdate memtest code
Jean THOMAS [Wed, 8 Jul 2020 13:06:08 +0000 (15:06 +0200)]
Update memtest code

4 years agoRemove useless variables in _Steerer, ensure command array has 4 elements
Jean THOMAS [Wed, 8 Jul 2020 12:51:34 +0000 (14:51 +0200)]
Remove useless variables in _Steerer, ensure command array has 4 elements

4 years agoMake an Elaboratable out of the anti_starvation function
Jean THOMAS [Wed, 8 Jul 2020 12:50:23 +0000 (14:50 +0200)]
Make an Elaboratable out of the anti_starvation function

4 years agoAdd links to various docs that have been helpful
Jean THOMAS [Wed, 8 Jul 2020 12:33:31 +0000 (14:33 +0200)]
Add links to various docs that have been helpful

4 years agoDrop YoWASP, build Yosys and SymbiYosys from source
Jean THOMAS [Wed, 8 Jul 2020 12:28:18 +0000 (14:28 +0200)]
Drop YoWASP, build Yosys and SymbiYosys from source

4 years agoFix dram_model path in .gitattributes
Jean THOMAS [Wed, 8 Jul 2020 11:30:47 +0000 (13:30 +0200)]
Fix dram_model path in .gitattributes

4 years agoFix clock input
Jean THOMAS [Wed, 8 Jul 2020 10:48:32 +0000 (12:48 +0200)]
Fix clock input

In Micron's DDR3 model code, the clock is delayed and recreated as diff_ck from
ck and ck_n. The clock is reconstituted by updating diff_ck on every positive edge
of ck and ck_n. Having ck_n set as 0 would mean diff_ck being equal to a constant 1.

4 years agocke => clk_en in SoC testbench
Jean THOMAS [Wed, 8 Jul 2020 10:46:46 +0000 (12:46 +0200)]
cke => clk_en in SoC testbench

4 years agoUpdate cke => clk_en in test
Jean THOMAS [Tue, 7 Jul 2020 14:17:20 +0000 (16:17 +0200)]
Update cke => clk_en in test

4 years agoFix code styling
Jean THOMAS [Tue, 7 Jul 2020 11:51:29 +0000 (13:51 +0200)]
Fix code styling

4 years agoFix code styling
Jean THOMAS [Tue, 7 Jul 2020 10:33:01 +0000 (12:33 +0200)]
Fix code styling

4 years agoReplace cke with clk_en
Jean THOMAS [Tue, 7 Jul 2020 10:32:46 +0000 (12:32 +0200)]
Replace cke with clk_en

4 years agoFix CRG PLL parameters (fixing #23)
Jean THOMAS [Tue, 7 Jul 2020 10:24:37 +0000 (12:24 +0200)]
Fix CRG PLL parameters (fixing #23)

4 years agoRename from cke to clk_en
Jean THOMAS [Mon, 6 Jul 2020 12:58:38 +0000 (14:58 +0200)]
Rename from cke to clk_en

4 years agoMake RefreshTimer fully synchronous (#24)
Jean THOMAS [Mon, 6 Jul 2020 11:12:13 +0000 (13:12 +0200)]
Make RefreshTimer fully synchronous (#24)

4 years agoAdd write transactions in the simulation testbench
Jean THOMAS [Mon, 6 Jul 2020 10:51:24 +0000 (12:51 +0200)]
Add write transactions in the simulation testbench

4 years agoReduce amount of combinatorial statements to improve frequency (#24)
Jean THOMAS [Mon, 6 Jul 2020 10:49:37 +0000 (12:49 +0200)]
Reduce amount of combinatorial statements to improve frequency (#24)

4 years agoFix formal support in FHDLTestCase
Jean THOMAS [Mon, 6 Jul 2020 10:45:53 +0000 (12:45 +0200)]
Fix formal support in FHDLTestCase

4 years agoRemove Diamond install script
Jean THOMAS [Fri, 3 Jul 2020 17:47:47 +0000 (19:47 +0200)]
Remove Diamond install script

4 years agoAdd SourceHut badge
Jean THOMAS [Fri, 3 Jul 2020 17:46:01 +0000 (19:46 +0200)]
Add SourceHut badge

4 years agoAdd .gitattributes file
Jean THOMAS [Fri, 3 Jul 2020 17:44:04 +0000 (19:44 +0200)]
Add .gitattributes file

4 years agoRemove Diamond install as it only comes with models if activated
Jean THOMAS [Fri, 3 Jul 2020 17:40:09 +0000 (19:40 +0200)]
Remove Diamond install as it only comes with models if activated

4 years agoUse CRG parameters that actually work on hardware
Jean THOMAS [Fri, 3 Jul 2020 16:27:16 +0000 (18:27 +0200)]
Use CRG parameters that actually work on hardware