Formal’s Roadmap


Formal verification has come a long way in the past five years as it focused on narrow tasks within the verification flow. Semiconductor Engineering sat down to discuss that progress, and the future of formal technologies, with [getperson id="11306" comment="Raik Brinkmann"], president and CEO of [getentity id="22395" e_name="OneSpin Solutions"]; Harry Foster, chief verification scientist at [g... » read more

Embedded Software Verification Issues Grow


Embedded software is becoming more critical in managing the power and performance of complex designs, but so far there is no consensus about the best way to approach it—and that's creating problems. Even with safety-critical standards such as DO-178C for aerospace and [gettech id="31076" comment="ISO 26262"] for automotive, different groups of tool providers approach software from differen... » read more

Design Convergence For 7nm Chips Needs Big Data-Driven Multi-Physics Optimization


Advancements in silicon process technologies are enabling companies to deliver products with faster performance, lower power and greater functionality. These benefits are especially attractive for chip manufacturers servicing markets such as high-end mobile and enterprise computing. However, the cost in terms of both dollars and resources associated with bringing 7-nanometer (nm) finFET-based s... » read more

An Open Solution For Systems And Embedded Software Simulation


This paper describes a complete Systems and Embedded Software Validation & Verification workflow that uses SCADE for modeling and simulating the controller software and a combination of other modeling tools for plant simulation. It introduces the Scade language and the SCADE Suite toolset that includes a (certified) code generator for producing the controller software. It then describes how ... » read more

Formal’s Roadmap


Formal verification has come a long way in the past five years as it focused on narrow tasks within the verification flow. Semiconductor Engineering sat down to discuss that progress, and the future of formal technologies, with [getperson id="11306" comment="Raik Brinkmann"], president and CEO of [getentity id="22395" e_name="OneSpin Solutions"]; Harry Foster, chief verification scientist at [g... » read more

Software Platforms Bridge The Design/Verification Gap For 5G Communications Design


We are entering the third phase of information connectivity, one that will change the use of wireless technology dramatically. The first phase connected homes and businesses through wired telephony and the early internet via dial-up modems. Over the last few decades, the development of communication networks has been superseded by wireless mobile technology connecting people instead of places. ... » read more

Cloud Computing Best Practices For Engineering Simulations


Rapid growth in the use of engineering simulation tools – and in the demand for high performance computing (HPC) – is driving interest in cloud computing. Using the cloud for simulation presents unique challenges with different solution types required for specific use cases. This white paper describes eight best practices for cloud deployments that are fundamentally related to simulation... » read more

Too Big To Simulate?


With system design complexity set on a steady upward trajectory, there are situations in which traditional simulation just can’t keep up. The alternative—and one being used by Google, Uber, Ford, GM, Volvo, Audi and others with autonomous vehicles— is to test cars on the road and collect data for later analysis. “They're not simulating, they're just doing it all in the real world ... » read more

Emulation’s Footprint Grows


It wasn't that many years ago that [getkc id="30" comment="emulation"] was an expensive tool available to only a few, but it has since become indispensable for a growing number of companies. One obvious reason is the growing size of designs and the inability of [getkc id="11" kc_name="simulation"] to keep up. But emulation also has been going through a number of transformations that have made i... » read more

Will GPU-Acceleration Mean The End Of Empirical Mask Models?


Shrinking mask feature sizes and increasing proximity effects are driving the adoption of simulation-based mask processing. Empirical models have been most widely used to date, because they are faster to simulate. Today, GPU-acceleration is enabling fast simulation using physical models. Does the ability of GPU-acceleration to make physical models a practical solution mean the end of empirical ... » read more

← Older posts Newer posts →