issues
search
m-labs
/
nmigen
A refreshed Python toolbox for building complex digital hardware. See https://gitlab.com/nmigen/nmigen
https://nmigen.org
Other
646
stars
55
forks
source link
Add option to specify solver in nmigen.test.utils
#337
Closed
DonaldKellett
closed
3 years ago
DonaldKellett
commented
3 years ago
Addresses #336
See also:
SymbioticEDA/riscv-formal#36
SymbioticEDA/riscv-formal#43
Addresses #336
See also: