Big Data On Wheels


By Jeff Dorsch & Ed Sperling All kinds of chips are going into driver-assisted and autonomous cars. On one side are arrays of sensors, which are generating huge amounts of data about everything from lane position and proximity to other cars to unexpected objects in the road. On the other side are the chips required to process that data at blazing speed. As the market for PCs and mobil... » read more

Dealing With Unintended Behavior


Functional verification was already tough enough, but having to identify behaviors that were never defined or intended opens up the search space beyond what existing tools are capable of handling. However, while you may not be able to eliminate unintended behaviors, a design team is not helpless. There are several steps that can be taken to reduce the likelihood of these problems getting int... » read more

Fault Simulation Reborn


Fault simulation, one of the oldest tools in the EDA industry toolbox, is receiving a serious facelift after it almost faded from existence. In the early days, fault simulation was used to grade the quality of manufacturing test vectors. That task was replaced almost entirely by [getkc id="173" comment="scan test"] and automatic test pattern generation (ATPG). Today, functional safety is cau... » read more

Devices Threatened By Analog Content?


As the amount of analog content in connected devices explodes, ensuring that the analog portion works properly has taken on a new level of urgency. Analog circuitry is required for interpreting the physical world and for moving data to other parts of the system, while digital circuitry is the fastest way to process it. So a sensor that gives a faulty reading in a car moving at high speed or ... » read more

How Formal Reduces Fault Analysis For ISO 26262


The ISO 26262 standard defines straightforward metrics for evaluating the “safeness” of a design by defining safety goals, safety mechanisms, and fault metrics. However, determining those metrics is difficult. Unlike simulation where it is never known if the design has been simulated enough or given enough input, formal verification conclusively determines if faults are safe or not, making ... » read more

Simplifying The Road To ISO 26262 Compliance


By Joseph Dailey and Robert Bates Since the release of ISO 26262 in November 2011, companies have had to figure out how to navigate the standard’s requirements throughout the development process of electrical and/or electronic systems for road vehicles. Recently new trends have emerged — software companies have started pre-qualifying both their software tools for use by their customers, ... » read more

What’s New In Connected Autos


Connected cars and the Internet of Things go together like peanut butter and jelly. But realizing the future of autonomous vehicles will demand close attention to be paid to cybersecurity, functional-safety standards, and other critical factors. [getkc id="76" kc_name="IoT"] will advance the era of self-driving cars, which currently is dominated by Tesla Motors. At the same time, it will cha... » read more

Formal Verification Takes Safety-Critical Applications For A Drive


The high reliability of safety-critical chips for automotive applications is a well-known imperative for today’s higher-end cars and as driverless cars move closer to reality. Uber, in fact, is testing autonomous cars in Boston of all places, where aggressive driving reigns supreme and honking the horn is considered an art form. As automotive manufacturers realize that their differentiatio... » read more

Meeting ISO 26262 Guidelines


The average car today contains up to 100 million lines of code. Software controls everything from safety critical systems like brakes and power steering, to basic vehicle controls like doors and windows. Yet the average car today may have up to 150,000 bugs, many of which could damage the brand, hurt customer satisfaction and, in the most extreme case, lead to a catastrophic failure. Software d... » read more

The Week In Review: Design


M&A Synopsys acquired another code analysis company, Forcheck. A privately held software company based in the Netherlands, it provided a static analysis tool for detecting coding defects and anomalies in Fortran applications. Forcheck technology will be integrated into the Coverity tool. Terms of the deal were not disclosed. IP & Specifications Cadence launched verification IP ... » read more

← Older posts Newer posts →