Silicon Library Adopts Averant's Solidify Automated Checks Using CDC Inc. EDA Cloud Services
Oakland, Calif. and Tokyo, Japan – February 15, 2018 – Averant Inc., the First In Formal™ leader in property verification of RTL designs for digital circuits and CDC Inc., a leading provider of EDA cloud solutions today announced the adoption of Averant's automated checks by Silicon Library Inc. in their verification flow.
“Verification of complex designs is an important step in our design flow“ said Junzoh Shimizu, CEO of Silicon Library. “Using Solidify’s automated checks reduces the overall verification time while uncovering issues early in the process. The flexibility of CDC’s cloud services allows us to optimize infrastructure and development costs.”
Solidify's automated checks utilizes formal verification technology to uncover common design problems. V6.5 introduces new powerful reporting capabilities for Clock Domain Crossing signals.
Averant's suite of formal solutions is now available on CDC Inc. cloud platform, providing usage convenience and flexibility.
"Our goal is to offer a set of complete cloud-based solutions for the design process" said Yoshio Inoue, President and CEO of CDC Inc., "We are pleased to give our users the possibility of running the field-proven leading-edge tools from Averant for efficient formal-based verification."
"Automated checks, including clock domain crossing ones are an important module in a commercial formal verification tool" commented Ramin Hojati, President of Averant. "We are grateful that supporting Silicon Library has resulted in important improvements in our clock domain crossing capabilities.
Availability
Release 6.5 is available for use immediately.
About Averant
Averant Inc. is a privately held EDA firm specializing in formal verification of digital designs. Averant’s signature product is Solidify, a robust platform for property, protocol, and automatic design checks – all without the need for simulators or test vectors. Averant's tools are easily adopted into the design flow, and help improve quality, reduce risk, and speed the design process. For more information, visit http://www.averant.com.
About CDC Inc.
CDC Inc. develops project-based design environments accessible through cloud technology, providing on-demand EDA software tools and virtual machines. CDC's services bring the benefits of a shared and secure platform to LSI design, enabling efficient collaboration across multiple sites. For more information visit https://www.cdc-lab.com
|
Related News
- Averant's Solidify 6.5 Significantly Improves Combinational and Sequential Equivalency Checking and Clock Domain Crossing Checks
- Synopsys Accelerates First-Pass Silicon Success for Banias Labs' Networking SoC
- M31 Speeds Delivery of Silicon IP by 5X Using the Cadence Library Characterization Solution in the Cloud
- Siemens joins Intel Foundry Services' EDA Alliance program
- Alphawave IP Adopts Diakopto's ParagonX EDA Platform and Methodology
Breaking News
- Ubitium Debuts First Universal RISC-V Processor to Enable AI at No Additional Cost, as It Raises $3.7M
- TSMC drives A16, 3D process technology
- Frontgrade Gaisler Unveils GR716B, a New Standard in Space-Grade Microcontrollers
- Blueshift Memory launches BlueFive processor, accelerating computation by up to 50 times and saving up to 65% energy
- Eliyan Ports Industry's Highest Performing PHY to Samsung Foundry SF4X Process Node, Achieving up to 40 Gbps Bandwidth at Unprecedented Power Levels with UCIe-Compliant Chiplet Interconnect Technology
Most Popular
- Cadence Unveils Arm-Based System Chiplet
- CXL Fabless Startup Panmnesia Secures Over $60M in Series A Funding, Aiming to Lead the CXL Switch Silicon Chip and CXL IP
- Esperanto Technologies and NEC Cooperate on Initiative to Advance Next Generation RISC-V Chips and Software Solutions for HPC
- Eliyan Ports Industry's Highest Performing PHY to Samsung Foundry SF4X Process Node, Achieving up to 40 Gbps Bandwidth at Unprecedented Power Levels with UCIe-Compliant Chiplet Interconnect Technology
- Arteris Selected by GigaDevice for Development in Next-Generation Automotive SoC With Enhanced FuSa Standards
E-mail This Article | Printer-Friendly Page |