OneSpin Solutions to Demonstrate Entire Family of Innovative Formal Assertion-Based Verification Solutions at DVCon 2013
Will Showcase Push-Button Formal Analysis, Automated Assertion
Generation, Transaction-Level ABV, Functional Coverage, Equivalence
MUNICH, GERMANY -- (Marketwire) -- 02/21/13 -- At DVCon BOOTH #405
WHO: OneSpin Solutions(TM) (www.onespin-solutions.com), provider of
innovative formal assertion-based verification (ABV) solutions
WHAT: Will demonstrate the OneSpin 360 DV product family with
push-button formal analysis, automated transaction-level ABV and
functional coverage at DVCon 2013 in Booth #405. The recently
announced 360(TM) EC-RTL, equivalence checking (EC) software that
compares revisions of register transfer level (RTL) code, and the
OneSpin 360 EC product family will be showcased as well.
WHEN: Tuesday and Wednesday, February 26-27, from 3:30 p.m. until
WHERE: Doubletree Hotel in San Jose, Calif.
The OneSpin Solutions
website address is: www.OneSpin-Solutions.com.
about DVCon can be found at: www.dvcon.org.
About OneSpin Solutions
Electronic design automation (EDA) supplier
OneSpin Solutions of Munich, Germany, was founded in 2005 as a
spin-off from Infineon Technologies AG. It leverages more than 300
engineer-years of formal verification technology development and
application service experience to enable design teams to avoid costly
redesigns and respins, while dramatically cutting their verification
effort and costs and time-to-market pressures. Market-leading
telecommunications, automotive, consumer electronics, and embedded
systems companies rely on OneSpin to reduce their verification effort
and achieve the industry's highest possible verification quality.
Email: firstname.lastname@example.org. Website:
OneSpin, OneSpin Solutions, OneSpin 360, the OneSpin logo and
GapFreeVerification are trademarks of OneSpin Solutions GmbH. All
other trademarks are the property of their respective owners.
For more information, contact:
Public Relations for OneSpin Solutions
Press spacebar to pause and continue. Press esc to stop.