Synopsys Inc renews its PinDown licenses and also increases the number of licenses. Synopsys has been a customer since 2010.