search

YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
389 stars 73 forks source link

Add a PROGRAM_PREFIX= Makefile option for packages with prefixed Yosys #101

Closed whitequark closed 4 years ago

whitequark commented 4 years ago

This could be useful for PRU too.