MOUNTAIN VIEW, Calif.--(BUSINESS WIRE)--Jan. 12, 2005--Jasper Design Automation, provider of breakthrough high-level formal verification solutions, today announced that it has acquired Safelogic, the ...
SAN JOSE, Calif. — Formal verification tool vendor Jasper Design Automation Inc. has acquired Swedish formal verification tool vendor Safelogic for an undisclosed amount, EE Times has learned.
Combining high-level interactive proof of block-level requirements with proof engines for fast verification of formal verification assertions, Jasper Design Automation reported today it acquired ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results