Enables Integration of Formal Results, Coverage with any Simulator or Verification Planning Tool.
MUNICH, Germany and SAN JOSE, Calif. — October 23, 2018 — OneSpin Solutions today announced PortableCoverage™, the first formal verification solution to integrate with all major simulators, coverage databases and viewers, and chip design verification planning tools, enabling users to choose the vendor or multiple vendors of their choice.