QED and Symbolic QED: Dramatic Improvements in Pre-Silicon Verification and Post
82,90 €
Symbolic QED combines QED principles with model checking (a formal verification technique) for pre-silicon verification. Many studies, including industrial case studies, have demonstrated the effectiveness and practicality of Symbolic QED.
Jetzt bei Ebay:
