|By Marketwired .||
|May 21, 2014 10:30 AM EDT||
SANTA CLARA, CA -- (Marketwired) -- 05/21/14 --
WHO: OneSpin® Solutions, provider of innovative formal verification and formal equivalence checking solutions
WHAT: Will exhibit at the 51st Design Automation Conference (DAC) in Booth #1219. OneSpin will leverage-verification intensive, safety-critical designs to demonstrate its Quantify observation coverage software, full range of automated analysis solutions, and sequential application specific integrated circuit (ASIC) and field programmable gate array (FPGA) equivalency checking products.
WHEN: Monday, June 2, through Wednesday, June 4, from 9 a.m. until 6 p.m.
WHERE: Moscone Center, San Francisco
Holger Busch of Infineon Technologies, a long-time OneSpin formal verification expert, will participate in the pavilion panel discussion "The Asymptote of Verification" June 2 from 5:15 p.m. until 6 p.m. in the Pavilion (Booth #313). Beer, wine and soft drinks will be served, provided by OneSpin, the panel's sponsor.
Busch will present "Formal Safety Verification With Qualified Property Sets" during the Designer Track Session "Accelerating Productivity Through Formal and Static Methods" June 3 from 4 p.m. until 6 p.m. He will present an extended version in the OneSpin Booth daily, as well.
OneSpin will offer product demonstrations of:
- OneSpin 360 DV Inspect for fully automated formal design analysis with assertion synthesis, and advanced pre-packaged solutions
- OneSpin 360 EC (equivalence checking) product family for FPGA and ASIC synthesis verification leveraging sequential optimizations
- OneSpin 360 DV Verify (design verification) family, including precise Quantify observation coverage-driven property checking
- System on chip (SoC) and intellectual property (IP) integration verification solutions
To schedule a demonstration of Quantify or other OneSpin formal verification products, visit: www.onespin-solutions.com.
The DAC website can be found at: www.dac.com.
About OneSpin Solutions
Electronic design automation (EDA) supplier OneSpin Solutions was founded in 2005 as a spin-off from Infineon Technologies AG. Its award-winning formal verification software is based on more than 300 engineering years of development and application service experience. OneSpin's comprehensive product line enables design teams to avoid costly design respins, while dramatically cutting their verification effort and engineering schedules. Leading telecommunications, automotive, consumer electronics and embedded systems companies rely on OneSpin to achieve the highest possible verification quality while reducing their time-to-market pressures. Its United States headquarters is located in Santa Clara, Calif. Corporate headquarters is in Munich, Germany. Email: [email protected]. Website: www.onespin-solutions.com.
OneSpin, OneSpin Solutions, OneSpin 360, the OneSpin logo and Quantify 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
Oct. 1, 2016 04:30 PM EDT Reads: 1,318
Oct. 1, 2016 04:00 PM EDT Reads: 3,730
Oct. 1, 2016 04:00 PM EDT Reads: 1,303
Oct. 1, 2016 03:45 PM EDT Reads: 608
Oct. 1, 2016 03:30 PM EDT Reads: 1,765
Oct. 1, 2016 03:30 PM EDT Reads: 1,198
Oct. 1, 2016 03:15 PM EDT Reads: 2,531
Oct. 1, 2016 03:00 PM EDT Reads: 3,069
Oct. 1, 2016 01:30 PM EDT Reads: 871
Oct. 1, 2016 01:00 PM EDT Reads: 5,191
What are the new priorities for the connected business? First: businesses need to think differently about the types of connections they will need to make – these span well beyond the traditional app to app into more modern forms of integration including SaaS integrations, mobile integrations, APIs, device integration and Big Data integration. It’s important these are unified together vs. doing them all piecemeal. Second, these types of connections need to be simple to design, adapt and configure...
Oct. 1, 2016 12:30 PM EDT Reads: 664
Why do your mobile transformations need to happen today? Mobile is the strategy that enterprise transformation centers on to drive customer engagement. In his general session at @ThingsExpo, Roger Woods, Director, Mobile Product & Strategy – Adobe Marketing Cloud, covered key IoT and mobile trends that are forcing mobile transformation, key components of a solid mobile strategy and explored how brands are effectively driving mobile change throughout the enterprise.
Oct. 1, 2016 12:30 PM EDT Reads: 2,341
“We're a global managed hosting provider. Our core customer set is a U.S.-based customer that is looking to go global,” explained Adam Rogers, Managing Director at ANEXIA, in this SYS-CON.tv interview at 18th Cloud Expo, held June 7-9, 2016, at the Javits Center in New York City, NY.
Oct. 1, 2016 12:30 PM EDT Reads: 3,276
Adobe is changing the world though digital experiences. Adobe helps customers develop and deliver high-impact experiences that differentiate brands, build loyalty, and drive revenue across every screen, including smartphones, computers, tablets and TVs. Adobe content solutions are used daily by millions of companies worldwide-from publishers and broadcasters, to enterprises, marketing agencies and household-name brands. Building on its established design leadership, Adobe enables customers not o...
Oct. 1, 2016 12:30 PM EDT Reads: 657