Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2405.01572
Cited By
A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs
20 April 2024
Aman Kumar
Sebastian Simon
Re-assign community
ArXiv (abs)
PDF
HTML
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
Hansa Mohanty
Deepak Narayan Gadde
46
0
0
23 Sep 2024
Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design
Aman Kumar
48
5
0
28 Apr 2024
Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC)
Aman Kumar
Muhammad Ul Haque Khan
Bijitendra Mittra
49
1
0
20 Apr 2024
Efficient Verification of a RADAR SoC Using Formal and Simulation-Based Methods
Aman Kumar
M. Litterick
Samuele Candido
35
0
0
20 Apr 2024
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
1
