Santa Cruz, Calif. — With the goal of extending formal analysis to designers' desktops, Cadence Design Systems Inc. has introduced Incisive Formal Verifier, the company's “first integrated solution ...