Is Formal Verification Artificial Intelligence?
Artificial intelligence or not, formal verification is a technology that has become a must-have in the modern verification flow.
I recently started reading a book, Super Intelligence: Paths, Dangers, Strategies, by Nick Bostrom. I was surprised to find the following text in the chapter describing state-of-the-art artificial intelligence (AI) applications:
"Theorem-proving and equation-solving are by now so well established that they are hardly regarded as AI any more. Equation solvers are included in scientific computing programs such as Mathematica. Formal verification methods, including automated theorem provers, are routinely used by chip manufacturers to verify the behavior of circuit designs prior to production."
I was also surprised to discover that -- among hundreds of EDA software applications in the semiconductor design, verification, and production flow -- formal verification was singled out as a "once-upon-a-time" artificial intelligence application.
To read the full article, click here
Related Semiconductor IP
- Over-Voltage Lockout (OVLO) IP
- Verification IP for Universal Chiplet Interconnect Express (UCIe) up to 3.0
- UCIe-S (Gen2) Compatible PHY for Standard Package (x16) in TSMC N3P, North/South Orientation
- DSP-Based 112G SerDes
- XTAL oscillator in TSMC-7nm
Related Blogs
- Datapath Validation - Solving Verification Challenges in the Era of Artificial Intelligence and Mathematical Cores
- Artificial Intelligence calls for Smart Interconnect
- The Heart of SiFive is Performance, Intelligence, & Essential
- How to Speed Up Simulation Coverage Closure with Formal Verification Tools
Latest Blogs
- M31 High-Speed and Long-Channel MIPI C/D-PHY Solution on TSMC N3P/N3C
- Understanding security certification and how analog IP can help
- Embedded Security explained: Secure boot for embedded systems
- World's First Standards-Compliant 112G PHY IP for Linear Optics: A Turning Point for AI Interconnects
- One Key for Every Door: How Aliro Extends the UWB Digital Key Beyond the Car