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

978-1-63828-998-2

99.00 USD