aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific/verific.h
diff options
context:
space:
mode:
authorJannis Harder <me@jix.one>2023-02-08 12:22:30 +0100
committerGitHub <noreply@github.com>2023-02-08 12:22:30 +0100
commitddb2bd85c83fc58aa9c447702506b9a0f86b6c12 (patch)
treef2ff7d41ec23d29f68fe5e9dc7d9674c26065d5d /frontends/verific/verific.h
parent5f33c0e0b24a96b77b0ac68b249546a87d2592ae (diff)
parent109b88c3791c87e819fb5a6c3c52f964655fd379 (diff)
downloadyosys-ddb2bd85c83fc58aa9c447702506b9a0f86b6c12.tar.gz
yosys-ddb2bd85c83fc58aa9c447702506b9a0f86b6c12.tar.bz2
yosys-ddb2bd85c83fc58aa9c447702506b9a0f86b6c12.zip
Merge pull request #3662 from YosysHQ/micko/wide_case_select_box
Add Verific import support for OPER_WIDE_CASE_SELECT_BOX
Diffstat (limited to 'frontends/verific/verific.h')
-rw-r--r--frontends/verific/verific.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/frontends/verific/verific.h b/frontends/verific/verific.h
index d9f0077db..44485751c 100644
--- a/frontends/verific/verific.h
+++ b/frontends/verific/verific.h
@@ -87,6 +87,7 @@ struct VerificImporter
RTLIL::SigSpec operatorInput1(Verific::Instance *inst);
RTLIL::SigSpec operatorInput2(Verific::Instance *inst);
RTLIL::SigSpec operatorInport(Verific::Instance *inst, const char *portname);
+ RTLIL::SigSpec operatorInportCase(Verific::Instance *inst, const char *portname);
RTLIL::SigSpec operatorOutput(Verific::Instance *inst, const pool<Verific::Net*, hash_ptr_ops> *any_all_nets = nullptr);
bool import_netlist_instance_gates(Verific::Instance *inst, RTLIL::IdString inst_name);