commit | 29e4bd4cc5326c9a6420394b70e2ef76ad364aa1 | [log] [tgz] |
---|---|---|
author | Steve Goldsmith <steve@aurifexlabs.com> | Tue Mar 22 02:32:10 2022 +0000 |
committer | Steve Goldsmith <steve@aurifexlabs.com> | Tue Mar 22 02:32:10 2022 +0000 |
tree | b467be3c6ef06d97a029ee3f0936a8ec165dd556 | |
parent | fd08fc0f557a678f3774b8bde5d4cc3813f9c39f [diff] |
Touched up readme.
PSRAM and integration: Steve Goldsmith, Lead Instructor, Aurifex Labs, https://aurifexlabs.com
PRNG: Zhenle Cao
Many thanks to Matt Venn!
For this project I built a PSRAM interface.
Designed from the IS66/67WVH16M8ALL/BLL datasheet: https://www.issi.com/WW/pdf/66-67WVH16M8ALL-BLL.pdf
Includes programmable latency and post-transaction delay. For read synchronization, selectable between programmable latency or rwds strobe.
Thanks to Zhenle Cao for providing the random number generator. See: https://github.com/ZhenleC/wrapped_acorn_prng
Summary (quoted from Zhenle's project): This project as a ACORN (Additive Congruential Random Number) generator made to fit in the group tapeout submission as part of the Zero to ASIC Course. This project was implemented according to the information here: http://acorn.wikramaratna.org/concept.html This ACORN generator is hardwired to have k = 16 and Modulus M = 2^12 (chosen due to the limitation on the number of GPIO output pins). However, it is highly scalable, and I was able to harden with at least k=16, M = 2^64. The area of the logic directly scales with k*M as the component that takes up the most space are the registers.
Instead of worrying about mucking up the tool with config and filenames, I just modified the example as little as possible.
Should be just these files (but diff to be sure):
And added for unit testing with SymbiYosys
But I had to manually modify the original System Verilog that I had written to get hardening to work by removing always_ff, etc.
Testing was done in two parts
Manual cover statements were visually inspected against the PSRAM datasheet.
Requires installing SymbiYosys: https://symbiyosys.readthedocs.io/en/latest/install.html
To run: cd verilog/rtl/unit_test
sby cover.sby
To run again: rm -r cover && sby cover.sby
Inspect: gtkwave cover/engine_0/trace*.png
Tests include:
To run:
make verify-la_test2-rtl
make verify-la_test2-gl
This only tests that the PSRAM state machine advances to state 2.