Formal Confusion


Formal verification has come a long way in the past five years. Tool developers changed direction and started to create self-contained apps which have led to a rapid proliferation of the technology. But formal is a diverse set of tools that can solve a variety of problems in the verification space and this has created a different kind of confusion within the industry. To find out how the indust... » read more

It’s All In the Sequence


No project team wants a “Houston, we have a problem,” moment. And yet, they happen all too frequently, even though there could be a tool to avoid that heart-in-mouth situation. The real-life Houston moment, brought dramatically to life in the 1995 movie “Apollo 13,” occurred during what was meant to be the seventh manned mission of the NASA Apollo space program in 1970. It didn’t m... » read more

The Hardest Part Of DO-254 Is…


The hardest part of DO-254 is not the requirements. It’s not the design. It’s not the verification. We just wrapped up this year’s 3-day DO-254 Practitioner’s Course, and each year I learn something new. In this year’s training we had attendees from major aerospace companies including Curtiss Wright, Rolls Royce, Sierra Nevada Corporation, Thales and Woodward. It’s always a pleas... » read more

How To More Accurately Predict The Field Reliability Of Automotive Power Electronics


If your company makes planes, trains, automobiles, medical devices, computers, and communication systems, or you are a large electronic device supplier, the reliability of your products in the field is crucial to your business success. The growing market for electric and hybrid vehicles is increasing the pressure on life-time performance of the devices that power them. Estimating the actual fie... » read more

Reliable Automotive IC Design With Galaxy Design Platform


Automakers are continuously integrating new advanced driver assistance systems and in-vehicle infotainment (IVI) technologies to provide drivers and their passengers with improved safety, navigation, entertainment and communications. Cars are becoming safer and more efficient as they are increasingly capable of sensing and responding to their on-road environment. These trends present additional... » read more

Virtual Modeling With Aldec And Imperas


Virtual platforms play a significant role in system level development, but require the speed that emulation systems provide for hardware/software co-verification. This white paper describes a high performance virtual modeling solution achieved by integrating Aldec’s Transaction Level Emulation System with Imperas’ OVP (Open Virtual Platform) and OVPsim (OVP simulator). Hardware and Software... » read more

Capturing Timing Diagrams In Operational SVA


Timing diagrams provide an excellent, intuitive starting point for writing assertions to capture the intended behavior of designs. However, the standard assertion languages SVA and PSL do not provide direct constructs for capturing timing diagrams. This white paper presents Operational SVA – a simple yet powerful SVA library – which allows to develop assertions directly from timing diagrams... » read more

Leading Chip Maker Rolls Out SoC For Automotive Market With NetSpeed Gemini


While SoC performance is important to support automotive applications, three criteria, safety, security, and reliability have to outperform almost any other application. Safety because an automobile is a life-critical system, security because you don’t want to allow any malware to penetrate this system, and finally reliability as we all expect our car to be failure-free for years if not decad... » read more

Blog Review: May 25


As a prelude of drone delivery, shipping company DHL set up a carbon fiber tilt-rotor to ferry packages between two villages in the Alps, in this week's top five tech picks from Ansys' Bill Vandermark. Plus, IBM's phase-change memory, see-through wood that's stronger than glass, and perhaps a Babel fish. There have been considerable investments in new memories, but getting to them won't be a... » read more

Executive Insight: K. Charles Janac


K. Charles Janac, chairman and CEO of Arteris, sat down with Semiconductor Engineering to talk about what's changing in the automotive market, the impact of big data, and heterogeneous cache coherency. What follows are excerpts of that discussion. SE: What are the big changes you're seeing in semiconductor design? Janac: There are a lot of changes right now. Mobility is slowing down and b... » read more

← Older posts Newer posts →