YosysHQ / yosys

Yosys Open SYnthesis Suite
https://yosyshq.net/yosys/
ISC License
3.3k stars 860 forks source link

verific: expose library name as module attribute #4339

Closed mmicko closed 2 months ago

mmicko commented 2 months ago

Each module is represented by Netlist object in Verific. It's owner is Cell and it's owner is Library object, that matches "work" specified when reading Verilog or VHDL sources.

There is always such object so no need for NULL checks.