In this article, we will use progressively more complex RTL device under test (DUT) code examples to illustrate the trouble that can occur when comparing the results from simulation and formal side-by ...

Researchers developed a faster, more stable way to simulate the swirling electric fields inside industrial plasmas -- the kind used to make microchips and coat materials. The improved method could ...

“There is no simulation code at all in the automation project,” said Jeff Meneau ... manipulate time by speeding up or slowing down a process to check settings. For example, one of Trident’s clients ...

The Bolshoi code took 18 days and millions of hours ... create cosmic artwork in new simulation "The Bolshoi simulation is an excellent example of work done in support of NASA's science goal ...

The second part of this article series will compare the results from simulation and formal side-by-side with progressively complex RTL DUT code examples. Mark Eslinger is a product engineer in the IC ...