Merge pull request #2529 from zachjs/unnamed-genblk
[yosys.git] / frontends / verific / example.sby
2017-07-22 Clifford WolfImprove docs for verific bindings, add simply sby example