|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
SYS-CON Events announced today that Pulzze Systems will exhibit at the 19th International Cloud Expo, which will take place on November 1–3, 2016, at the Santa Clara Convention Center in Santa Clara, CA. Pulzze Systems, Inc. provides infrastructure products for the Internet of Things to enable any connected device and system to carry out matched operations without programming. For more information, visit http://www.pulzzesystems.com.
Aug. 31, 2016 10:45 AM EDT Reads: 431
Aug. 31, 2016 10:11 AM EDT
Aug. 31, 2016 09:30 AM EDT Reads: 1,088
Aug. 31, 2016 09:00 AM EDT Reads: 939
Aug. 31, 2016 09:00 AM EDT Reads: 506
Aug. 31, 2016 09:00 AM EDT Reads: 1,014
Aug. 31, 2016 08:45 AM EDT Reads: 922
Aug. 31, 2016 08:30 AM EDT Reads: 913
Aug. 31, 2016 07:45 AM EDT Reads: 960
Aug. 31, 2016 07:45 AM EDT Reads: 985
Aug. 31, 2016 04:45 AM EDT Reads: 2,312
Aug. 31, 2016 02:45 AM EDT Reads: 1,902
Aug. 31, 2016 02:15 AM EDT Reads: 2,295
Aug. 31, 2016 02:00 AM EDT Reads: 2,031
Aug. 31, 2016 01:45 AM EDT Reads: 3,115