Wir möchten auf unserer Internetseite Dienste von Drittanbietern nutzen, die uns helfen, unsere Werbeangebote zu verbessern (Marketing), die Nutzungsweise unserer Internetseite auszuwerten (Performance) und die Internetseite an Ihre Vorlieben anzupassen (Funktional). Für den Einsatz dieser Dienste benötigen wir Ihre Einwilligung, welche jederzeit widerrufen werden kann. Informationen zu den Diensten und eine Widerspruchsmöglichkeit finden Sie unter „Benutzerdefiniert“. Weitergehende Informationen finden Sie in unserer Datenschutzerklärung.
Quick and exhaustive verification and proof of compliance to instruction set architecture (ISA) with no gaps or inconsistencies
RISC-V is an open-source hardware instruction set architecture (ISA) widely supported by IP, EDA, and software suppliers. Providers of RISC-V IP cores face a high bar for verification and compliance to the published ISA. Meeting these challenges is essential to successfully compete with older, well established ISAs with many silicon implementations and design-ins. In addition, core providers need to ensure that their designs meet the trust and security expectations of their customers, including the absence of hardware Trojans or other unintended functionality that could enable adversary attacks.
The OneSpin RISC-V Integrity Verification Solution is the industry’s first commercial tool suite to address the needs of both core providers and core integrators. It leverages OneSpin’s advanced formal verification expertise for automotive and other high-integrity processor applications to exhaustively verify the implementation with minimal set up and runtime. The core of the solution is the formalization of the RISC-V ISA as a set of SystemVerilog Assertions (SVA) using the unique OneSpin Operational Assertion approach. Operational SVA enables high-level, non-overlapping assertions that capture end-to-end transactions and requirements in a concise, elegant way:
Translate functional requirements in a formal and simulation executable format
Capture entire circuit transactions in a concise and elegant way, similar to timing diagrams
Achieve 100% functional coverage with high-level and easy-to-review assertions
Adopt a consistent assertion style that is applicable to a wide range of applications and able to deliver optimal performances for both simulators and formal tools
Cleanly separate implementation-specific supporting verification code from reusable specification-level code
Further leverage the assertion set using OneSpin’s GapFreeVerification™ for automatic detection of specification omissions and errors, holes in the verification plan, and unverified RTL functions
Leider gibt es für diesen Aussteller kein deutsches Firmenprofil.
OneSpin Solutions is a leading provider of certified IC integrity verification solutions for functionally correct, safe, secure, and trusted integrated circuits. Headquartered in Munich, Germany, we partner with developers worldwide to assure the integrity of SoCs, ASICs, and FPGAs for automotive and industrial applications; defense; avionics; artificial intelligence and machine learning; consumer electronics; and communications. OneSpin’s advanced solutions are based on our widely-used formal verification technology and are ideal for developing heterogeneous computing platforms, using programmable logic, and designing and integrating processor cores, such as RISC-V. OneSpin’s commitment to our users’ success fuels our mutual growth. OneSpin: Assuring IC Integrity.