Jean THOMAS [Fri, 10 Jul 2020 16:27:05 +0000 (18:27 +0200)]
Add a name to timing_checker submodule
Jean THOMAS [Fri, 10 Jul 2020 16:26:02 +0000 (18:26 +0200)]
Rework headless client interface
Jean THOMAS [Fri, 10 Jul 2020 15:46:06 +0000 (17:46 +0200)]
Improve simulation output: add names to submodules
Jean THOMAS [Fri, 10 Jul 2020 14:15:01 +0000 (16:15 +0200)]
Don't test for tREFI=1 in RefreshTimer
Jean THOMAS [Fri, 10 Jul 2020 14:13:40 +0000 (16:13 +0200)]
Add more R/W operations in test_soc
Jean THOMAS [Fri, 10 Jul 2020 14:13:09 +0000 (16:13 +0200)]
Add script for launching unit tests with fail fast enabled
Jean THOMAS [Fri, 10 Jul 2020 14:12:08 +0000 (16:12 +0200)]
Remove GTKW files
Jean THOMAS [Fri, 10 Jul 2020 14:09:38 +0000 (16:09 +0200)]
Fix formal checks for RefreshTimer
Jean THOMAS [Fri, 10 Jul 2020 13:43:21 +0000 (15:43 +0200)]
Fix tests for _AntiStarvation
Jean THOMAS [Fri, 10 Jul 2020 13:07:31 +0000 (15:07 +0200)]
Fix code styling
Jean THOMAS [Fri, 10 Jul 2020 13:06:51 +0000 (15:06 +0200)]
Rename VCD file output
Jean THOMAS [Fri, 10 Jul 2020 12:18:38 +0000 (14:18 +0200)]
Rename tests, add interleaved read/write test
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
Jean THOMAS [Fri, 10 Jul 2020 11:04:26 +0000 (13:04 +0200)]
Fix timings in simulation to prevent tDLLK errors
Jean THOMAS [Fri, 10 Jul 2020 11:03:49 +0000 (13:03 +0200)]
Add POR start/end logging in simsoc testbench
Jean THOMAS [Thu, 9 Jul 2020 14:26:16 +0000 (16:26 +0200)]
Make power-on delay signal synchronous
Jean THOMAS [Thu, 9 Jul 2020 14:25:25 +0000 (16:25 +0200)]
Fix formatting in headless example
Jean THOMAS [Thu, 9 Jul 2020 13:08:30 +0000 (15:08 +0200)]
Add test for SoC readout
Jean THOMAS [Thu, 9 Jul 2020 13:08:12 +0000 (15:08 +0200)]
Disable Assert statements until they are natively supported in nMigen
Jean THOMAS [Thu, 9 Jul 2020 13:04:17 +0000 (15:04 +0200)]
Comment buggy assertions
Jean THOMAS [Thu, 9 Jul 2020 13:03:55 +0000 (15:03 +0200)]
Add imports for Assert & Assume in FakePHY
Jean THOMAS [Thu, 9 Jul 2020 12:53:53 +0000 (14:53 +0200)]
Fix counter reset condition bug
Jean THOMAS [Thu, 9 Jul 2020 12:24:25 +0000 (14:24 +0200)]
Fix syntax in FakePHY assertions
Jean THOMAS [Thu, 9 Jul 2020 12:09:19 +0000 (14:09 +0200)]
Use assertions as a temporary replacement for Display statements
Jean THOMAS [Thu, 9 Jul 2020 12:07:18 +0000 (14:07 +0200)]
Remove unused BitFlip
Jean THOMAS [Thu, 9 Jul 2020 10:29:28 +0000 (12:29 +0200)]
Update build script to include software version
Jean THOMAS [Wed, 8 Jul 2020 16:43:20 +0000 (18:43 +0200)]
Add temporary code for SoC tests with FakePHY
Jean THOMAS [Wed, 8 Jul 2020 16:42:39 +0000 (18:42 +0200)]
Port FakePHY to nMigen
Jean THOMAS [Wed, 8 Jul 2020 15:31:16 +0000 (17:31 +0200)]
Match ECPIX-5 DRAM parameters in Micron's model
Jean THOMAS [Wed, 8 Jul 2020 15:30:35 +0000 (17:30 +0200)]
Import fake PHY from LiteDRAM (non functionnal ATM)
Jean THOMAS [Wed, 8 Jul 2020 13:38:12 +0000 (15:38 +0200)]
Fix styling
Jean THOMAS [Wed, 8 Jul 2020 13:35:18 +0000 (15:35 +0200)]
Add test case for AntiStarvation
Jean THOMAS [Wed, 8 Jul 2020 13:33:41 +0000 (15:33 +0200)]
Fix bugs in _AntiStarvation
Jean THOMAS [Wed, 8 Jul 2020 13:06:08 +0000 (15:06 +0200)]
Update memtest code
Jean THOMAS [Wed, 8 Jul 2020 12:51:34 +0000 (14:51 +0200)]
Remove useless variables in _Steerer, ensure command array has 4 elements
Jean THOMAS [Wed, 8 Jul 2020 12:50:23 +0000 (14:50 +0200)]
Make an Elaboratable out of the anti_starvation function
Jean THOMAS [Wed, 8 Jul 2020 12:33:31 +0000 (14:33 +0200)]
Add links to various docs that have been helpful
Jean THOMAS [Wed, 8 Jul 2020 12:28:18 +0000 (14:28 +0200)]
Drop YoWASP, build Yosys and SymbiYosys from source
Jean THOMAS [Wed, 8 Jul 2020 11:30:47 +0000 (13:30 +0200)]
Fix dram_model path in .gitattributes
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.
Jean THOMAS [Wed, 8 Jul 2020 10:46:46 +0000 (12:46 +0200)]
cke => clk_en in SoC testbench
Jean THOMAS [Tue, 7 Jul 2020 14:17:20 +0000 (16:17 +0200)]
Update cke => clk_en in test
Jean THOMAS [Tue, 7 Jul 2020 11:51:29 +0000 (13:51 +0200)]
Fix code styling
Jean THOMAS [Tue, 7 Jul 2020 10:33:01 +0000 (12:33 +0200)]
Fix code styling
Jean THOMAS [Tue, 7 Jul 2020 10:32:46 +0000 (12:32 +0200)]
Replace cke with clk_en
Jean THOMAS [Tue, 7 Jul 2020 10:24:37 +0000 (12:24 +0200)]
Fix CRG PLL parameters (fixing #23)
Jean THOMAS [Mon, 6 Jul 2020 12:58:38 +0000 (14:58 +0200)]
Rename from cke to clk_en
Jean THOMAS [Mon, 6 Jul 2020 11:12:13 +0000 (13:12 +0200)]
Make RefreshTimer fully synchronous (#24)
Jean THOMAS [Mon, 6 Jul 2020 10:51:24 +0000 (12:51 +0200)]
Add write transactions in the simulation testbench
Jean THOMAS [Mon, 6 Jul 2020 10:49:37 +0000 (12:49 +0200)]
Reduce amount of combinatorial statements to improve frequency (#24)
Jean THOMAS [Mon, 6 Jul 2020 10:45:53 +0000 (12:45 +0200)]
Fix formal support in FHDLTestCase
Jean THOMAS [Fri, 3 Jul 2020 17:47:47 +0000 (19:47 +0200)]
Remove Diamond install script
Jean THOMAS [Fri, 3 Jul 2020 17:46:01 +0000 (19:46 +0200)]
Add SourceHut badge
Jean THOMAS [Fri, 3 Jul 2020 17:44:04 +0000 (19:44 +0200)]
Add .gitattributes file
Jean THOMAS [Fri, 3 Jul 2020 17:40:09 +0000 (19:40 +0200)]
Remove Diamond install as it only comes with models if activated
Jean THOMAS [Fri, 3 Jul 2020 16:27:16 +0000 (18:27 +0200)]
Use CRG parameters that actually work on hardware
Jean THOMAS [Fri, 3 Jul 2020 16:21:00 +0000 (18:21 +0200)]
Update CRG with parameters that work IRL
Jean THOMAS [Fri, 3 Jul 2020 16:19:25 +0000 (18:19 +0200)]
Invert condition in runsimcrg.sh
Jean THOMAS [Fri, 3 Jul 2020 15:52:38 +0000 (17:52 +0200)]
Remove remainings from TRELLIS_IO
Jean THOMAS [Fri, 3 Jul 2020 15:27:41 +0000 (17:27 +0200)]
Check if YOSYS env var is set and use it as YOSYS executable
Jean THOMAS [Fri, 3 Jul 2020 15:05:20 +0000 (17:05 +0200)]
Use Yosys from YoWASP
Jean THOMAS [Fri, 3 Jul 2020 14:50:51 +0000 (16:50 +0200)]
Fix permissions for simulation script
Jean THOMAS [Fri, 3 Jul 2020 14:38:50 +0000 (16:38 +0200)]
Add simulation script into SourceHut builds
Jean THOMAS [Fri, 3 Jul 2020 14:37:47 +0000 (16:37 +0200)]
Exclude DDRDLLA from tree
Jean THOMAS [Fri, 3 Jul 2020 14:36:22 +0000 (16:36 +0200)]
Ensure dramsync runs at 100Mhz, sync2x at 200Mhz
Jean THOMAS [Fri, 3 Jul 2020 13:22:13 +0000 (15:22 +0200)]
Remove DDRDLLA
Jean THOMAS [Fri, 3 Jul 2020 12:56:28 +0000 (14:56 +0200)]
Add build script for SourceHut
Jean THOMAS [Fri, 3 Jul 2020 12:55:20 +0000 (14:55 +0200)]
Add tests in DFI Injector for odt and reset signals
Jean THOMAS [Fri, 3 Jul 2020 12:51:10 +0000 (14:51 +0200)]
Check for additional signals in phase injector at t=0
Jean THOMAS [Fri, 3 Jul 2020 12:50:43 +0000 (14:50 +0200)]
Add DFI injector test case
Jean THOMAS [Fri, 3 Jul 2020 12:32:41 +0000 (14:32 +0200)]
Update simulation gitignore
Jean THOMAS [Fri, 3 Jul 2020 12:32:10 +0000 (14:32 +0200)]
Update gram simulation documentation
Jean THOMAS [Fri, 3 Jul 2020 12:30:18 +0000 (14:30 +0200)]
Add cleaning pass
Jean THOMAS [Fri, 3 Jul 2020 12:29:32 +0000 (14:29 +0200)]
Fix autopep8 madness
Jean THOMAS [Fri, 3 Jul 2020 12:25:45 +0000 (14:25 +0200)]
Rework CRG simulation
Jean THOMAS [Fri, 3 Jul 2020 12:24:37 +0000 (14:24 +0200)]
Externalize CRG into its own file
Jean THOMAS [Fri, 3 Jul 2020 11:40:43 +0000 (13:40 +0200)]
Add devel doc
Jean THOMAS [Fri, 3 Jul 2020 11:29:11 +0000 (13:29 +0200)]
Add test for Refresher
Jean THOMAS [Fri, 3 Jul 2020 11:23:46 +0000 (13:23 +0200)]
Refactor generic_test execution
Jean THOMAS [Fri, 3 Jul 2020 11:15:05 +0000 (13:15 +0200)]
Use spaces for indentation
Jean THOMAS [Fri, 3 Jul 2020 11:08:07 +0000 (13:08 +0200)]
Add tests for core/refresher.py
Jean THOMAS [Fri, 3 Jul 2020 11:07:46 +0000 (13:07 +0200)]
Removing reset=0 attribute as it is already the default choice in nMigen
Jean THOMAS [Thu, 2 Jul 2020 13:34:12 +0000 (15:34 +0200)]
Use reset signal from dramsync instead of sync
Jean THOMAS [Thu, 2 Jul 2020 12:17:44 +0000 (14:17 +0200)]
Make RefreshPostponer more similar to LiteDRAM's
Jean THOMAS [Thu, 2 Jul 2020 12:07:32 +0000 (14:07 +0200)]
Fix RefreshPostponer output stuck to 1
Jean THOMAS [Thu, 2 Jul 2020 11:22:32 +0000 (13:22 +0200)]
Flatten specific parts of the designs
Jean THOMAS [Thu, 2 Jul 2020 11:18:11 +0000 (13:18 +0200)]
Add missing command issue strobe for ZQ calibration
Jean THOMAS [Thu, 2 Jul 2020 09:27:13 +0000 (11:27 +0200)]
Remove PyYAML dependency
Jean THOMAS [Thu, 2 Jul 2020 09:02:54 +0000 (11:02 +0200)]
Fix register addresses, add missing command_issue strobe
Jean THOMAS [Thu, 2 Jul 2020 09:02:08 +0000 (11:02 +0200)]
Set names to prevent CSR/DomainRenamer incompatibility
Jean THOMAS [Thu, 2 Jul 2020 08:59:38 +0000 (10:59 +0200)]
Add DDRDLLA patch
Jean THOMAS [Wed, 1 Jul 2020 18:09:56 +0000 (20:09 +0200)]
Fix merge
Jean THOMAS [Wed, 1 Jul 2020 18:06:38 +0000 (20:06 +0200)]
Rework indentation and add Wishbone tests
Jean THOMAS [Wed, 1 Jul 2020 17:00:15 +0000 (19:00 +0200)]
Add Wishbone interaction code
Jean THOMAS [Wed, 1 Jul 2020 17:00:15 +0000 (19:00 +0200)]
Add Wishbone interaction code
Jean THOMAS [Wed, 1 Jul 2020 16:57:52 +0000 (18:57 +0200)]
Fix Iverilog simulation
Jean THOMAS [Wed, 1 Jul 2020 11:38:41 +0000 (13:38 +0200)]
Generate ilang file
Jean THOMAS [Tue, 30 Jun 2020 17:28:34 +0000 (19:28 +0200)]
Build nMigen gateware in a specific folder
Jean THOMAS [Tue, 30 Jun 2020 17:27:18 +0000 (19:27 +0200)]
Remove LED code in CRG
Jean THOMAS [Tue, 30 Jun 2020 17:26:58 +0000 (19:26 +0200)]
Remove Minerva dependency