search

pulp-platform / axi-io-pmp

Input / Output Physical Memory Protection Unit for RISC-V
Other
7 stars 2 forks source link

Fix open source synth #5

Closed andreaskuster closed 2 years ago

andreaskuster commented 2 years ago

Tighten constraints Prevent yosys share SAT-solver issue