Abstract:The complexity of modern-day System-on-Chips (SoCs) is continually increasing, and it becomes increasingly challenging to deliver dependable and credible chips in a short time-to-market. Especially, in the case of test chips, where the aim is to study the feasibility of the design, time is a crucial factor. Pre-silicon functional verification is one of the main contributors that makes up a large portion of the product development cycle. Verification engineers often loosely verify test chips that turn out to be non-functional on the silicon, ultimately resulting in expensive re-spins. To left-shift the verification efforts, formal verification is a powerful methodology that aims to exhaustively verify designs, giving better confidence in the overall quality. This paper focuses on the pragmatic formal verification of a mixed signal Intellectual Property (IP) that has a combination of digital and analog blocks. This paper discusses a novel approach of including the analog behavioral model into the formal verification setup. Digital and Analog Mixed-Signal (AMS) designs, which are fundamentally different in nature, are integrated seamlessly in a formal verification setup, a concept that can be referred to as "Analogous Alignments". Our formal setup leverages powerful formal techniques such as FPV, CSR verification, and connectivity checks. The properties used for FPV are auto-generated using a metamodeling framework. The paper also discusses the challenges faced especially related to state-space explosion, non-compatibility of formal with AMS models, and techniques to mitigate them such as k-induction. With this verification approach, we were able to exhaustively verify the design within a reasonable time and with sufficient coverage. We also reported several bugs at an early stage, making the complete design verification process iterative and effective.

Agile Full-Chip Sign-Off in the Post-Moore Era

Accelerating RTL Quality Assessment Method Based on CAD Tools

Invited Paper: Unleashing the Potential of Machine Learning: Harnessing the Dynamics of Supply Noise for Timing Sign-Off

Accelerating Chip Design with Machine Learning: from Pre-Silicon to Post-Silicon

A Cross-Layer Framework for Early-Stage Full Chip Oxide Breakdown Reliability Analysis

A Silicon-Validated Methodology for Power Delivery Modeling and Simulation

A Fully Automated Large-Scale Addressable Test Chip Design with High Reliability

Silicon-Validated Power Delivery Modeling and Analysis on a 32-Nm DDR I/O Interface.

Concurrent Sign-off Timing Optimization Via Deep Steiner Points Refinement.

A Robust Asynchronous Approach for Realizing Ultra-Low Power Digital Self-Adaptive VDD Scaling System

A Survey on Machine Learning-Based Technology for Static Timing Analysis in Agile Design

Eliminating Timing Errors Through Collaborative Design to Maximize the Throughput

Sign-Off Timing Considerations Via Concurrent Routing Topology Optimization

A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs

Creating an Agile Hardware Design Flow

Analogous Alignments: Digital "Formally" meets Analog

Full-Ic Manufacturability Check Based on Dense Silicon Imaging

Closing the Gap between Electrical and Physical Design Steps with an Analog IC Placement Optimizer Enhanced with Machine-Learning-Based Post-Layout Performance Regressors

New Assessment Methodology Based on Energy–Delay–Yield Cooptimization for Nanoscale CMOS Technology

A Complete and Automatic Advanced Model Verification Platform for 32nm Technology and Beyond

Architecture of a Post-Opc Silicon Verification Tool