A look at hybrid SAT solvers and why this kind of approach has become necessary as SoC designs become more complex.
This final white paper in a three-part series about formal verification concepts examines the assertion-based verification flow and some of the formal verification algorithms.
To download the first two papers in this series, click here for part one and here for part two.
This kind of approach has become necessary as SoC designs become more challenging and the traditional method of simulation proves too slow, too costly, and insufficient in terms of coverage.
Some satisfiability (SAT) tools work partly on the circuit and partly on conjunctive normal form (CNF). These are called hybrid SAT solvers. The netlist is kept along with learned clauses and conflict clauses, which are added during analysis. Click here for part 3.
Foundry forms ASIC subsidiary as it focuses on 14nm/12nm and above.
Growing volume of data and limited improvements in performance create new opportunities for approaches that never got off the ground.
Why auto tech companies are so concerned about interactions with humans.
Company’s push into deep learning opens door to a variety of new architectures, including tiles, advanced packaging and more customized solutions.
Old solutions don’t necessarily work anymore, particularly at advanced nodes and ultra-low voltage.
Using the Von Neumann architecture for artificial intelligence applications is inefficient. What will replace it?
Assessing the reliability of a device requires adding more physical factors into the analysis, many of which are interconnected in complex ways.
Continued integration is no longer the natural way forward for semiconductors. What needs to happen to make it easier?
Improvements in power, performance and area are much more difficult to achieve, but solutions are coming into focus.
Shift to cloud model has kept power consumption in check, but that benefit may have run its course.
Edge compute covers a wide range of applications. Understanding bandwidth and capacity needs is critical.
In-chip monitoring techniques are growing for automotive, industrial, and data center applications.
Old solutions don’t necessarily work anymore, particularly at advanced nodes and ultra-low voltage.
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
Leave a Reply