diff options
author | Clifford Wolf <clifford@clifford.at> | 2016-04-12 20:55:46 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2016-04-12 20:55:46 +0200 |
commit | 2c76f7d61b4ca1a55d9c129336ba9f34cd4efeeb (patch) | |
tree | 090fe51f57931461e5a2bc79dcf7dc7f196b05ad /scripts/smt2-bmc/async.py | |
parent | 789a411eadaedbc44417ae595f3410e65f89cfc3 (diff) | |
download | picorv32-2c76f7d61b4ca1a55d9c129336ba9f34cd4efeeb.tar.gz picorv32-2c76f7d61b4ca1a55d9c129336ba9f34cd4efeeb.zip |
Added (by default disabled) register file access wires for debugging
Diffstat (limited to 'scripts/smt2-bmc/async.py')
0 files changed, 0 insertions, 0 deletions