Wilsonville, OregonMay 1, 2000 Mentor Graphics Corp. announced FormalPro equivalence checker, a formal verification technology of multimillion-gate system-on-chip designs that avoids the time-drain and cost pitfalls of using design partitioning.
By Lisa Nadile