Model-based Automation of Verification Development for automotive SOCs

October 6, 2021

By EETimes Europe

The method includes the formalization and modeling of the SoC specification using SysML as well as the generation of SystemVerilog Assertions based on the modeled specification. Thus the effort can be achieved by minimizing manual transformation as well as by reducing errors due to ambiguous specifications.

Disclaimer: by clicking on this button, you accept that your data might be communicated to this company. If you do not want us to communicate your data, please update your details on your profile

If you enjoyed this article, you will like the following ones: don't miss them by subscribing to :    eeNews on Google News

SEPIC DC/DC Converter with Coupled and Uncoupled Inductors

September 15, 2025 - By Wuerth Elektronik eiSos

The Single-Ended-Primary-Inductor-Converter, popularly known as SEPIC, is a non-isolated, switching power supply topology generating an output voltage that can be higher or lower than the…

Rugged & Reliable connectivity solutions for harsh environments from Avnet Abacus and Molex

September 3, 2025 - By Avnet Abacus

Designing electronics for harsh conditions? Discover how Molex and Avnet Abacus enable rugged, high-performance connectivity across automotive, commercial vehicle, off-road applications and other systems where…

The Fundamentals of Electromagnetic Compliance

September 3, 2025 - By Coilcraft

The continual increased use of electronics and electrical products has led to an environment filled with many signal and noise sources across a wide range…

Ultra Slim Bezel HMI Series

September 1, 2025 - By Advantech

This eBook introduces Advantech’s new Slim Bezel HMI Series, designed to meet the evolving needs of industrial automation and intelligent manufacturing. Featuring ultra-narrow bezels, robust…

Thermal Stress in Data Storage: Effects on Performance, Longevity and Data Integrity

August 25, 2025 - By Swissbit

Discover how temperature impacts the performance, longevity, and data integrity of modern storage solutions. This white paper explores the challenges of thermal stress in environments…

Voltage Specification for Molded Inductors Increases Reliability

July 7, 2025 - By Wuerth Elektronik eiSos

With the continuous technological advancement in the semiconductor industry, MOSFETs today can achieve high power densities and fast switching speeds. For this reason, the question…

Single Sign-On: Secure User Authentication for Computers, Networks and Files

June 16, 2025 - By ELATEC

How can a modern SSO authentication solution increase computer and network security and reduce cyber risks? ELATEC’s white paper explains what is important when choosing…

Are HMIs the Forgotten Edge Gateways?

May 22, 2025 - By Advantech

HMI (Human-Machine Interface) software plays a critical role in automation systems, acting as the bridge between human operators and machines. A Human Machine Interface (HMI)…