took out corny.
Synopsys would not have worked, fixed.