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

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

Aman Kumar
Sebastian Simon
ArXiv (abs)PDFHTML

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

5 / 5 papers shown
Title
Analogous Alignments: Digital "Formally" meets Analog
Analogous Alignments: Digital "Formally" meets Analog
Hansa Mohanty
Deepak Narayan Gadde
44
0
0
23 Sep 2024
Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design
Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design
Aman Kumar
46
5
0
28 Apr 2024
Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC)
Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC)
Aman Kumar
Muhammad Ul Haque Khan
Bijitendra Mittra
47
1
0
20 Apr 2024
Efficient Verification of a RADAR SoC Using Formal and Simulation-Based Methods
Efficient Verification of a RADAR SoC Using Formal and Simulation-Based Methods
Aman Kumar
M. Litterick
Samuele Candido
33
0
0
20 Apr 2024
All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification
All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification
Deepak Narayan Gadde
Aman Kumar
Thomas Nalapat
Evgenii Rezunov
Fabio Cappellini
116
9
0
25 Mar 2024

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.