onehot - optimize $eq cells for onehot signals#

yosys> help onehot#
onehot [options] [selection]
This pass optimizes $eq cells that compare one-hot signals against constants
-v, -vv
verbose output