By Richard Goering05/30/08
Claiming a new approach to formal analysis, Avery Design Systems is rolling out Insight, a tool that combines logic and symbolic simulation with formal solvers. Insight can be used for bug hunting and coverage closure.

Click the link to read more......