WIP: more debugging signals for inspection
authorSamuel A. Falvo II <kc5tja@arrl.net>
Fri, 31 Jul 2020 16:53:41 +0000 (09:53 -0700)
committerSamuel A. Falvo II <kc5tja@arrl.net>
Fri, 31 Jul 2020 16:53:41 +0000 (09:53 -0700)
commit4c311c645cb81eaf49354e7564c0ed5e2e5522c7
tree8fc3f674c70266798b52d03636c638b660f1f7b7
parent0c721b4a8af4d144e6ddcaae833c194540c30950
WIP: more debugging signals for inspection
src/soc/fu/shift_rot/formal/proof_main_stage.py