Santa Cruz, Calif. – It wasn't just altruism that led Synopsys Inc. to open its V-SDC format, aimed at simplifying the use of formal verification tools. It was more about enlightened self-interest-a ...