Formal Verification’s Usefulness Widens


Formal verification is being deployed more often and in more places in chip designs as the number of possible interactions grows, and as those chips are used in more critical applications. In the past, much of formal verification was focused on whether a chip would function properly. But as designs become more complex and heterogeneous, and as use cases change, formal verification is being u... » read more

An Entangled Heterarchy


For decades, a form of structural hierarchy has been the principal means of handling complexity in chip design. It's not always perfect, and there is no ideal way in which to divide and conquer because that would need to focus on the analysis being performed. In fact, most systems can be viewed from a variety of different hierarchies, equally correct, and together forming a heterarchy. The e... » read more

Importance Of Certifications In Automotive IP


The automotive industry is renowned for its unwavering commitment to enforcing strict standards for enabling safety, quality, reliability, and security. However, upholding stringent measures to ensure vehicle safety and reliability has led to the need for predictive maintenance i.e., using advanced monitoring and analytical techniques as a part of Silicon Lifecycle Management (SLM) to anticipat... » read more

Automotive Safety Requires PVT Monitoring IP Within Semiconductor ICs


The modern automobile, especially with the move toward more electrification, presents huge challenges to the designers of vehicular electronics. Gone are the days of mechanical issues and oil changes being primary concerns. Today’s automobile has a high number of semiconductor chips performing functions for self-driving autonomous systems, advanced driver assistance systems (ADAS), connectivi... » read more

A Perfect Blend Of Quality In Functional Safety To Accelerate An Automotive IP Product Release


The integration of functional safety and quality into the automotive development process is crucial for ensuring the safety and reliability of vehicles on the road. Automotive manufacturers must take a comprehensive approach to both functional safety and quality, considering all aspects of the vehicle from design to production and beyond. This includes the use of advanced technologies s... » read more

FMEDA Powered Safety Verification Methodology For Semiconductors


Today’s automobiles require increasingly complex systems and chips, adherence to functional safety processes has become essential during the design development phase. The intricate nature of  semiconductors used in automotive applications is driving the need for functional safety throughout the entire supply chain, reaching not just the automobile manufacturers but also the semiconductor des... » read more

Predictive And Prescriptive Maintenance In The Context Of Automotive Functional Safety


The ever-changing landscape of advanced SOCs reshape traditional approaches of automotive functional safety (FuSa). Electrification (EV), connectivity, driver-assistance (ADAS), and software-defined vehicles (SDV) have ushered in the era of mega-functionality and scale. This paper discusses the paradigm shifts and required methodologies to navigate the surge of innovation and ensure the utmost ... » read more

Virtualization: A Must-Have For Embedded AI In Automotive SoCs


Virtualization, the process of abstracting physical hardware by creating multiple virtual machines (VMs) with independent operating systems and tasks, has been in computing since the 1960s. Now, with the need to optimize the utilization of large AI and DSP blocks in automotive SoCs, along with the need for increased functional safety in autonomous driving, virtualization is coming to power- an... » read more

A Safety Verification Methodology For Automotive Semiconductors


By Alessandra Nardi (Synopsys), Teo Cupaiuolo (Synopsys), and Liu Min (SGS-TÜV Saar) Functional safety has been a long-standing requirement for many electronics applications, including implanted medical devices, space-borne systems, and nuclear power plants. The widespread use of advanced driver assistance systems (ADAS) and the advent of self-driving vehicles have added automotive chips to... » read more

How Safe Is Safe Enough?


That was the overarching question a group of 180 experts discussed last week at the ISO 26262 & SOTIF conference for four days during #FuSaWeek2023 in Berlin. "How Safe is Safe Enough" is also the title of Prof. Koopman's book from September 2022. I mentioned him in my blog "Are We Too Hard On Artificial Intelligence For Autonomous Driving?" Prof. Koopman was referenced often in Berlin, and... » read more

← Older posts