Yearly Award to be Presented to Robert Gardner during DATE’s Opening Ceremonies
ALAMEDA, CALIF. –– March 9, 2016 –– Robert Gardner, longtime member of the Verific Design Automation Board of Directors, will be presented with the yearly DATE Fellow Award by the Design, Automation and Test in Europe (DATE) Conference and Exhibit 2016.
He will receive the prestigious award in recognition of his long association and support of DATE during the Opening Ceremonies March 15.
Gardner was an active member of the DATE Executive Committee and Sponsor’s Committee, representing the EDA Consortium, where he served as executive director from 2006 until 2015. He was the co-chair of DATE’s Management Day Track, served on the DATE Audit committee, and continues to be...
Will Highlight New MEPro Platform for Circuit Design, CAD, Process Development
SAN JOSE, CALIF. –– March 8, 2016 –– ProPlus Design Solutions, Inc., the leading SPICE modeling, giga-scale SPICE simulation and design for yield (DFY) solution provider, will demonstrate its FinFET-ready DFY during TSMC 2016 Technology Symposia this month.
The TSMC North America events will be held March 15 in San Jose, Calif., March 22 in Boston, and March 24 in Austin, Texas.
Among the products to be demonstrated will be MEPro™, a new common platform for circuit design, CAD and process development teams. MEPro offers designers the means to quickly adopt and make full use of a process platform. They can evaluate any device or circuit target of one or multiple process platforms...
Unique Economic Factors Boost Simulation Performance, Throughput for SerDes Designs at 28nm, 16nm, 10nm
SAN JOSE, CALIF. –– March 8, 2016 –– Silicon Creations, supplier of high-performance semi-custom analog and mixed-signal intellectual property (IP), confirmed today it has deployed NanoSpice™, a high-performance parallel SPICE simulator from ProPlus Design Solutions, Inc., to simulate its SerDes interface IP designs.
The parallel SPICE circuit simulator is an important part of Silicon Creation’s design flow, used to boost simulation performance and throughput of both top-level and block-level simulations of SerDes IP designs in 28-, 16- and 10-nanometer (nm). “We’ve been impressed by the performance and accuracy of NanoSpice,” notes Randy Caplan, principal and co-...
Online Resource Designed to Serve Formal Verification Engineering Community
DVCon 2016 –– SAN JOSE, CALIF. –– March 1, 2016 –– FormalWorld.org, an online community dedicated to advancing the widespread use of formal verification, launched today during DVCon 2016 here with the goal to be the complete online resource for the expanding formal verification community.
Formal verification has become a critical technology in the modern verification flow. FormalWorld.org provides easy, open access to a range of helpful resources for an increasing number of end-users in need of education, information and peer-to-peer networking.
FormalWorld.org offers links to a broad range of information sources and will be updated on a continuous basis. Its monthly newsletter will...
Results Reported During Decoding Formal Club Meeting’s Checkmate Session, Award Ceremony Today
MOUNTAIN VIEW, CALIF. –– February 29, 2016 –– Results of the 2016 Oski Formal Puzzler “Chessboard Challenge” were announced today by Oski Technology, Inc., the only dedicated formal verification service provider, during the Decoding Formal Club meeting sponsored by Synopsys.
Oski challenged the Semiconductor Industry in December to solve two problems that involved moving a chess king around a 5-by-5 chessboard. Contestants were invited to use paper and pencil to solve the puzzles, but encouraged to run formal verification tools to solve them with model checking, a formal verification technique. Oski ran each entry using Synopsys VC Formal Solution to determine which Verilog...
Enables Early Bug Detection During Code Editing For FPGA, ASIC Designers
SAN JOSE, CALIF. –– February 9, 2016 –– OneSpin® Solutions, provider of innovative formal verification solutions, and Sigasi®, provider of hardware description language (HDL) design software, today announced the integration of the OneSpin formal-based design inspection software with Sigasi’s HDL authoring system Sigasi Studio XL.
The solution gives designers a way to run formal-based structural code checks within Sigasi’s environment at the point of edit, spotting issues that otherwise require additional verification effort. The use of formal techniques eliminates much of the false error-reporting characteristic common in rule-based linting tools, accelerating the verification process. Combining...
Close Collaboration Focused Around Specialized Formal IP Practice
SAN JOSE, CALIF. –– November 10, 2015 –– OneSpin Solutions™, provider of innovative formal solutions targeting a broad range of challenging verification problems, announced today that Boost Valley®, a pioneer of intelligent verification intellectual property (IP) and verification services, has joined the Spinnaker Certified Service Partners Program.
The Spinnaker Program, which offers a broad range of service expertise to meet a variety of verification needs, now includes a broader collaboration option known as Intelligent Verification IP (IVIP). Boost Valley as an inaugural member.
As a member of IVIP, Boost Valley has been trained and certified to offer services using either the 360 DV™...
Collaboration with Noted Verification Experts Extends OneSpin’s Reach into Key Market
SAN JOSE, CALIF. –– November 3, 2015 –– OneSpin Solutions™, provider of innovative formal solutions targeting a broad range of challenging verification problems, today named Ulisys Technologies™ as its Israeli distributor.
Ulisys Technologies will market, distribute and support OneSpin’s formal-based solutions on an exclusive basis for the region.
“I am delighted to welcome Ulisys into the OneSpin family,” notes Raik Brinkmann, president and chief executive officer of OneSpin Solutions. “Given the Israeli history of verification innovation and local demand for the OneSpin technology, it is critical that we increase our presence in the region. The knowledge and expertise...
Offers Unique Capabilities for SPICE Model Exploration, Validation and Process Platform Benchmarking
SAN JOSE, CALIF. –– September 15, 2015 –– ProPlus Design Solutions, Inc. today unveiled MEPro™, within its own Nano Design Environment™ (NDE), that bridges circuit design, CAD and process development, and lets designers quickly adopt and make full use of a process platform.
For the first time, MEPro offers a common platform for circuit design, CAD and process development teams, presented in ways each of them are familiar with. They now are able to systematically evaluate any device or circuit target of one or multiple process platforms with SPICE model libraries, avoiding model misuse while leaving increased area for design margins.
Company expands next generation physical verification solutions
August 17, 2015, Santa Clara, California – Sage Design Automation Inc., the company that is redefining physical verification, announced today the appointment of Dr. Raul Camposano as its Chief Executive Officer.
Dr. Camposano has had a distinguished career both in industry and academia. He was CTO, senior vice president and general manager at Synopsys for over 10 years. He also served as CEO of two startups, Xoomsys and Nimbic (acquired by Mentor Graphics). Dr. Camposano is active in the EDA and semiconductor professional community, serving on various boards and technical committees. He is a fellow of the IEEE and holds a Ph.D. in computer science from the University of Karlsruhe.