verific: fix blackbox regression and add test case

YosysHQ / yosys

Yosys Open SYnthesis Suite

https://yosyshq.net/yosys/

ISC License

3.5k stars 895 forks source link

verific: fix blackbox regression and add test case #4724

Open mmicko opened 2 weeks ago

mmicko commented 2 weeks ago

Due to a change to Verific, "veri_create_empty_box" parameter needs to be set to get blackboxes import correctly after static and full elaboration. Added test case to make sure blackboxes are imported.