[Libre-soc-dev] daily kan-ban update 06sep2020
cestrauss at gmail.com
Sun Sep 6 14:37:06 BST 2020
* Moved write_gtkw to nmutil.gtkw
It's now available for general use.
Usage example at:
But, maybe you might want to wait for the tutorial.
Also, the API will probably evolve, as I try it for real on more test cases.
Contributions and suggestions are welcome.
* Documented its build dependency, on nmutil's README.md and setup.py.
It didn't seem necessary to modify HDL_workflow, since "python setup.py
develop" already takes care of it.
* Started writing the GTKWave tutorial.
For now, it's a high level overview of what is to come.
(work in progress)
* Tested the proposed fix for a cxxsim bug.
The race condition was fixed, but GTKWave still shows traces changing on
the falling clock edge.
But, only on the original, non-reduced test case.
Will try to narrow down the test case further (again). It's fun.
* Provide a reduced test case for the cxxsim bug.
* Fill out the GTKWave tutorial with actual content
Next (as time permits):
* Interested in writing a formal proof for
src/soc/experiment/alu_fsm.py, to acquire some experience.
* Add GTKWave documents to:
* Write parallel unit tests for test_compalu_multi.py and
compldst_multi.py, from the experience already gained on alu_hier.py.
* Maybe, write a function to walk an nMigen top-level Module and output
a GTKWave document of its signals, colored by hierarchy.
More information about the Libre-soc-dev