Vendor: SmartDV Technologies Category: Custom

AMBA CXS Assertion IP

AMBA CXS Assertion IP provides a smart way to verify the ARM AMBA CXS component of a SOC or a ASIC.

Contact Provider Request Datasheet

Overview

AMBA CXS Assertion IP provides a smart way to verify the ARM AMBA CXS component of a SOC or a ASIC. The SmartDV's AMBA CXS Assertion IP is fully compliant with standard AMBA CXS Specification.

AMBA CXS Assertion IP is supported natively in SystemVerilog, VMM, RVM, AVM, OVM, UVM, Verilog, SystemC, VERA, Specman E and non-standard verification env

AMBA CXS Assertion IP comes with optional Smart Visual Protocol Debugger (Smart ViPDebug), which is GUI based debugger to speed up debugging.

Key features

  • Specification Compliance
    • Compliant with the latest ARM AMBA CXS specification.
    • Supports credit exchange mechanism.
    • Supports Link activation and deactivation.
    • Support for skipping link activation.
    • Configurable credit mechanism including dynamic and pre-allocated credit control.
    • Support for Interface properties and possible options as per protocol.
    • Supports continuous delivery of data - uninterrupted transmission of packets.
    • Fine grain control of below:
    • Flit packets placement
    • Packet control fields
    • Ability to configure the width of all signals.
    • Support for error injection during Link activation and deactivation.
    • Programmable Protocol signal delays.
    • Rich set of configuration parameters to control CXS functionality.
    • Transaction logging and Performance Reporting support.

Block Diagram

AMBA CXS AIP block diagram

Benefits

  • Runs in every major formal and simulation environment.

What’s Included?

  • Detailed documentation of Assertion IP usage.
  • Documentation also contains User's Guide and Release notes.

Specifications

Identity

Part Number
AMBA CXS AIP
Vendor
SmartDV Technologies
Type
Silicon IP

Files

Product Sheet Download

Note: some files may require an NDA depending on provider policy.

Provider

Contact SmartDV Technologies

Learn more about Custom IP core

Rapid Validation of Post-Silicon Devices Using Verification IP

A well-repeated truism throughout the semiconductor industry is that chip design verification is complex and often takes up the largest portion of a design project’s schedule –– sometimes as much as 70% –– and an ongoing challenge facing verification engineers.

The Future Of Chip Design

The future of chip design in a few short years could look entirely different as the semiconductor industry witnesses an advancing trend toward free and flexible, community-supported hardware designs for the long tail of new applications based on custom semiconductor devices

RISC-V's CPU Verification Challenge

RISC-V is new and does not have the benefit yet of years of field-proven experience. This means that a carefully chosen and executed CPU verification strategy is essential. It also means that the availability of a “golden reference model” is a critical component that must be secured.

Enabling RISC-V Vector Code Generation in MLIR through Custom xDSL Lowerings

The growing adoption of RISC-V in high-performance and scientific computing has increased the need for performance-portable code targeting the RISC-V Vector (RVV) extension. However, current compiler infrastructures provide limited end-to-end support for generating optimized RVV code from high-level representations to low-level implementations. In particular, existing MLIR distributions lack practical lowering paths that map high-level abstractions to RVV intrinsics, limiting their applicability for production-ready RISC-V kernels. This paper presents a compilation approach that combines MLIR with xDSL to bridge the missing lowering stages required for RVV code generation.

Frequently asked questions about Custom Die-to-Die IP cores

What is AMBA CXS Assertion IP?

AMBA CXS Assertion IP is a Custom IP core from SmartDV Technologies listed on Semi IP Hub.

How should engineers evaluate this Custom?

Engineers should review the overview, key features, supported foundries and nodes, maturity, deliverables, and provider information before shortlisting this Custom IP.

Can this semiconductor IP be compared with similar products?

Yes. Buyers can compare this product with similar semiconductor IP cores or IP families based on category, provider, process options, and structured technical specifications.

×
Semiconductor IP