Diese Website verwendet Cookies, um das Angebot nutzerfreundlicher und effektiver zu machen. Mit der Nutzung dieser Website stimmen Sie der Verwendung von Cookies zu.Weitere Informationen über die Verwendung von Cookies und die Möglichkeit der Verwendung von Cookies zu widersprechen, finden Sie hier.
Rigorous coverage-driven functional verification from block to chip, leveraging formal technology
OneSpin provides a complete formal-based solution for the verification of RTL designs from the IP and block level to complete systems-on-chip (SoCs), as well as verification of implementation in FPGA devices.. This solution focuses on five key verification tasks:
Agile design with early, automated design code verification for rapid design iterations
Comprehensive assertion-based verification with unique model-based mutation coverage
Scalable integration verification and functional analysis using automated apps
Verification of FPGA implementations with advanced optimizations
Easy bug detection and functional verification of SystemC/C++ code prior to high-level synthesis
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.