yosys/tests/verilog/func_tern_hint.ys at mmicko/verific - mirrors/yosys - Libre-Chip.org

mirrors/yosys

mirror of https://github.com/YosysHQ/yosys synced 2025-04-23 00:55:32 +00:00

Zachary Snow a650d9079f verilog: fix width/sign detection for functions

2022-05-30 16:45:39 -04:00

4 lines

88 B

Text

Raw Permalink Blame History

 read_verilog -sv func_tern_hint.sv
 proc
 opt
 sat -verify -seq 1 -prove-asserts -show-all