Results 261 to 270 of about 1,057,123 (303)
Some of the next articles are maybe not open access.
IEEE Design and Test of Computers, 2005
Comprehensive Functional Verification, by Bruce Wile, John C. Goss, and Wolfgang Roesner (Morgan Kaufmann, 2005, ISBN 0-12-751803-7, 704 pp., $59.95). This new verification book lives up to its titleĀit is by far one of the most comprehensive books on verification.
openaire +1 more source
Comprehensive Functional Verification, by Bruce Wile, John C. Goss, and Wolfgang Roesner (Morgan Kaufmann, 2005, ISBN 0-12-751803-7, 704 pp., $59.95). This new verification book lives up to its titleĀit is by far one of the most comprehensive books on verification.
openaire +1 more source
A Survey on Assertion-Based Hardware Verification
ACM Computing Surveys, 2022Yangdi Lyu +2 more
exaly
Verification device, verification system, verification method, and verification program
2021ITO MANAMI +3 more
openaire +2 more sources
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys, 2020Michael Fisher, Clare Dixon
exaly
Hierarchical verification using verification diagrams
1996Anca Browne, Zohar Manna, Henny Sipma
openaire +1 more source
VERIFICATION REQUIREMENT DOCUMENT FOR CREDENTIAL VERIFICATION
2021LI CHIAHSIN, TULLY ANDREW
openaire +3 more sources
A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges
IEEE Communications Surveys and Tutorials, 2019Jiangyuan Yao +2 more
exaly