supercover - add hi/lo cover cells for each wire bit¶
yosys> help supercover
¶
supercover [options] [selection]
This command adds two cover cells for each bit of each selected wire, one
checking for a hi signal level and one checking for lo level.