properties.sby

[options]
mode prove

[engines]
smtbmc

[script]
read -formal wrapper.v hsv_mixer.v pwm.v debounce.v encoder.v hsv2rgb.v
prep -top wrapped_hsv_mixer

[files]
wrapper.v
properties.v
hsv_mixer/src/hsv_mixer.v
hsv_mixer/src/pwm.v
hsv_mixer/src/debounce.v
hsv_mixer/src/encoder.v
hsv_mixer/src/hsv2rgb.v