industry news
Subscribe Now

Aldec Extends Spectrum of Verification Tools for Use in Digital ASIC Designs

Henderson, NV – May 17th, 2016 – Aldec, Inc., a pioneer in mixed HDL language simulation and hardware-assisted verification solutions for digital system designs, today announces that its verification tools suite, honed over 30 years of complex FPGA design verification, is available for ASIC chip design. 

Covering the full digital verification flow from design and test planning through simulation, emulation, and prototyping, Aldec’s popular verification tools help designers in small and large fabless companies ensure that complex digital ASIC designs meet all functional and timing requirements before being committed to a mask set, helping to protect against the high cost of a mask respin. 

Aldec’s verification suite includes cost-effective, high-performance tools for HDL verification across the full range of industries, including computing, storage, communications, and the Internet of Things, as well as safety-critical applications within aerospace, medical, automotive, and industrial systems.

“Engineers need a reliable verification partner that suits their budgets while still providing a high level of support,” said Dr. Stanley Hyduke, Aldec Founder and CEO. “To fill this need, we at Aldec have extended our spectrum of verification tools for use in digital ASIC designs.”

Aldec tools support all phases of the digital flow, from design planning through to prototyping for software verification.

  • Spec-TRACER™manages requirements/specifications, providing capture, mapping to tests, and full traceability for compliance with critical-systems standards like ISO-26262 for automotive, IEC-61508 for industrial and DO-254 for avionics.
  • ALINT-PRO™ provides VHDL and Verilog code analysis (linting) as well as clock-domain-crossing (CDC) Aldec’s libraries contain well-established criteria for basic coding, CDC, DO-254, STARC, and RMM standards.
  • Aldec’s high-performance Riviera-PRO™ simulator speeds verification through both fast incremental compilation and fast multi-core simulation execution. It accepts code written in VHDL, Verilog, SystemVerilog, SystemC, and mixtures of these languages. It supports the latest verification libraries, such as OVM/UVM, along with many specialized graphical UVM debugging tools. It offers code and functional coverage capabilities with coverage analysis tools to support a metric-driven verification approach. It can handle the multi-million-gate designs typical of ASIC projects.
  • The HES-7™ board and HES-DVM™ software combine to provide a hardware emulator with a SCE-MI 2 interface. HES-DVM manages design setup, design compiler integration, and debug instrumentation. It partitions large designs across multiple HES-7 boards and supports several host communication schemes for different emulation modes:
    • PLI/VHPI for bit-level acceleration
    • SCE-MI 2 and DPI-C for function-based transaction-level and UVM verification
    • SCE-MI 2 and TLM for macro-based hybrid emulation with a virtual platform running processor models or a SystemC testbench
    • In-circuit emulation with speed adapters for external data streams and interfaces

Aldec hardware debugging provides 100% visibility into the design at the RTL level.

  • The CTS™ platform enables at-speed module execution for catching bugs that are evident only at high speeds.
  • The HES-7™ boards give software programmers a hardware prototype for high-speed testing of software against the hardware design.
  • The verification tools are supported by a broad set of verification IP (VIP) libraries that save time and effort while ensuring thorough design checkout. 

Aldec’s ASIC verification tool suite is available today. For more information on Aldec’s ASIC tool flow visit www.aldec.com/products. To evaluate, email sales@aldec.com  or call +1 (702) 990-4400 or contact an Aldec worldwide distribution partner.

About Aldec

Established in 1984, Aldec is an industry leader in Electronic Design Verification and offers a patented technology suite including: RTL Design, RTL Simulators, Hardware-Assisted Verification, SoC and ASIC Prototyping, Design Rule Checking, CDC Verification, IP Cores, Requirements Lifecycle Management, DO-254 Functional Verification and Military/Aerospace solutions. www.aldec.com

Leave a Reply

featured blogs
Apr 19, 2024
In today's rapidly evolving digital landscape, staying at the cutting edge is crucial to success. For MaxLinear, bridging the gap between firmware and hardware development has been pivotal. All of the company's products solve critical communication and high-frequency analysis...
Apr 18, 2024
Are you ready for a revolution in robotic technology (as opposed to a robotic revolution, of course)?...
Apr 18, 2024
See how Cisco accelerates library characterization and chip design with our cloud EDA tools, scaling access to SoC validation solutions and compute services.The post Cisco Accelerates Project Schedule by 66% Using Synopsys Cloud appeared first on Chip Design....

featured video

MaxLinear Integrates Analog & Digital Design in One Chip with Cadence 3D Solvers

Sponsored by Cadence Design Systems

MaxLinear has the unique capability of integrating analog and digital design on the same chip. Because of this, the team developed some interesting technology in the communication space. In the optical infrastructure domain, they created the first fully integrated 5nm CMOS PAM4 DSP. All their products solve critical communication and high-frequency analysis challenges.

Learn more about how MaxLinear is using Cadence’s Clarity 3D Solver and EMX Planar 3D Solver in their design process.

featured chalk talk

Electrical Connectors for Hermetically Sealed Applications
Sponsored by Mouser Electronics and Bel
Many hermetic chambers today require electrical pathways to provide internal equipment with power, data or signals, or to receive data and signals from equipment within the chamber. In this episode of Chalk Talk, Amelia Dalton and Brad Taras from Cinch Connectivity Solutions explore the role that seals and connectors play in the performance of hermetic chambers. They examine the methodologies to determine hermetic seal leaks, the benefits of epoxy hermetic seals, and how Cinch Connectivity’s epoxy-based seals and hermetic connectors can add value to your next design.
Aug 22, 2023
28,688 views