Location via proxy:
[ UP ]
[Report a bug]
[Manage cookies]
No cookies
No scripts
No ads
No referrer
Show this form
About Us
Alerts
Contact
Ordering Info
Help
Log in
Home
FnTs
Journals
Books
NowOpen
Topic
Circuit design methods (1)
Circuit level design (1)
Digital circuits and systems (1)
Emerging technologies (1)
Logic design (1)
Reconfigurable systems (1)
Security for circuits and systems (1)
System level design (1)
Test (1)
Verification (1)
Journal
Foundations and Trends® in Integrated Circuits and Systems (1)
Year
2024 (1)
Article Type
review article (1)
Platform
Your search returned 1 results
review article
QED and Symbolic QED: Dramatic Improvements in Pre-Silicon Verification and Post-Silicon Validation
Keerthikumara Devarajegowda
|
Florian Lonsing
|
Mohammad R. Fadiheh
|
Saranyu Chattopadhyay
|
David Lin
|
Srinivas Shashank Nuthakki
|
Eshan Singh
|
Clark Barrett
|
Wolfgang Ecker
|
Wolfgang Kunz
|
Yanjing Li
|
Dominik Stoffel
|
Subhasish Mitra
Journal:
Foundations and Trends® in Integrated Circuits and Systems, Volume 3, Issue 2–3