projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8bf3799) | patch
Address code review comments
authorSamuel A. Falvo II <kc5tja@arrl.net>
Fri, 24 Jul 2020 05:29:55 +0000 (22:29 -0700)
committerSamuel A. Falvo II <kc5tja@arrl.net>
Fri, 24 Jul 2020 05:37:44 +0000 (22:37 -0700)
commit39abd2d897899a19397dbc9f2195e6e0d86666ef
tree136f2140bd0ca183411d91fac2d823f9244a7cb5tree
parent8bf37997d31250126a664aeb3bd67ac0cd72a70ccommit | diff
Address code review comments

- Remove hypervisor-related checks and main logic.
- Use field() to work with subfields of arbitrary signals.
- Use FormXXX classes to access opcode subfields.
src/soc/fu/trap/formal/proof_main_stage.py diff | blob | history
src/soc/fu/trap/main_stage.py diff | blob | history