Using Formal To Verify Safety-Critical Hardware For ISO 26262


Automotive technology has come a long way since the days of the Ford Model T. Today's smart vehicles not only assist their drivers with tasks such as parking, lane management, and braking, but also function as a home away from home, with WiFi hotspots and sophisticated entertainment systems. These sophisticated features are made possible by increasingly complex electronic systems—systems that... » read more

The Week In Review: Design


Tools Mentor released the latest version of its FloTHERM CFD software for electronics cooling simulation, adding a new design window to create and solve variants of a model with features to improve scenario definition and design space exploration. Other enhancements include support for Phase Change Materials, more abilities for PCB designs, and an improved parallel solver. Markets IC Insig... » read more

What Does An IoT Chip Look Like?


By Ed Sperling and Jeff Dorsch Internet of Things chip design sounds like a simple topic on the face of it. Look deeper, though, and it becomes clear there is no single IoT, and certainly no type of chip that will work across the ever-expanding number of applications and markets that collectively make up the IoT. Included under this umbrella term are sensors, various types of processors, ... » read more

Tech Talk: ADAS


Arvind Vel, director of applications engineering at ANSYS, talks about the transition to self-driving cars and what will be required in future system designs. https://youtu.be/K2xBZZ-vxYQ » read more

Rethinking Car Design


The automotive industry is undergoing sweeping changes in both technology and business, and functional safety increasingly cuts across both of them. Every safety-critical industry has one or more functional safety standards, whether that is manufacturing, avionics or automotive. In automotive, it's a combination of [gettech id="31076" comment="ISO 26262"] and various ASIL levels, which are a... » read more

IC Test Solutions For The Automotive Market


The amount of electronic content in passenger cars continues to grow rapidly, driven mainly by the integration of various advanced safety features, which will increase further with the move towards fully autonomous vehicles. It is critical that these safety-related devices adhere to the highest possible quality and reliability requirements formalized in the ISO 26262 standard that is being rapi... » read more

The Safe Road Trip Thanks To Formal Verification


School’s out, gas is cheap and families in the U.S. are piling into their cars or minivans to take the time-honored cross-country road trip. These days, kids in the backseat don’t need to entertain themselves by spotting the license plates from the 50 U.S. states or picking a fight with their brother or sister. Instead, they can be kept amused with the vehicle’s sophisticated entertainmen... » read more

Using Formal To Verify Safety-Critical Hardware For ISO 26262


Automotive technology has come a long way since the days of the Ford Model T. Today's smart vehicles not only assist their drivers with tasks such as parking, lane management, and braking, but also function as a home away from home, with WiFi hotspots and sophisticated entertainment systems. These sophisticated features are made possible by increasingly complex electronic systems—systems that... » read more

The Week In Review: Design


M&A Verific acquired Invionics' entire INVIO technology portfolio, adding a high-level scripting interface with 100 high-level APIs to its Parser Platform of approximately 2,000 low-level SystemVerilog and VHDL APIs. An R&D group from the company will also join Verific. Portable Stimulus An Early Adopter release of the Portable Stimulus specification has been made publicly availabl... » read more

Tech Talk: ISO 26262


Arteris' Kurt Shuler discusses what's changing in the automotive standard and how everything is supposed to work in the future. » read more

← Older posts