@User: It's the right device to be extracted. It is not in the standard include path, so you will need a special .include in the testbench to include the model. Where you have installed open_pdks, look at
Linen is a search-engine friendly community platform. We offer integrations with existing Slack/Discord communities and make those conversations Google-searchable.