Verification

Applied Formal Verification: For Digital Circuit Design (Repost) eBooks & eLearning

Posted by DZ123 at Dec. 25, 2018

Douglas L. Perry, Harry Foster, "Applied Formal Verification: For Digital Circuit Design"
English | 2005 | ISBN: 007144372X | PDF | pages: 259 | 1.2 mb

Details

System Verilog for Verification: A Guide to Learning the Testbench Language Features, Second Edition (Repost) eBooks & eLearning

Posted by AvaxGenius at March 31, 2017

System Verilog for Verification: A Guide to Learning the Testbench Language Features, Second Edition By Chris Spear
English | PDF | 2008 | 455 Pages | ISBN : 144194561X | 16.33 MB

Based on the bestselling first edition this extensively revised second edition includes the relevant changes that apply to the 2008 version of the SystemVerilog Language Reference Manual (LRM).

Details

Embedded Software Verification and Debugging eBooks & eLearning

Posted by nebulae at April 18, 2017

Djones Lettnin, "Embedded Software Verification and Debugging"
English | ISBN: 1461422655 | 2017 | 208 pages | PDF | 9 MB

Details

Embedded Software Verification and Debugging (Embedded Systems) [repost] eBooks & eLearning

Posted by hill0 at May 3, 2017

Embedded Software Verification and Debugging (Embedded Systems) by Djones Lettnin
English | 7 May 2017 | ISBN: 1461422655 | 226 Pages | PDF | 8.81 MB

This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable.

Details

Embedded Software Verification and Debugging (Embedded Systems) [Repost] eBooks & eLearning

Posted by hill0 at May 22, 2017

Embedded Software Verification and Debugging (Embedded Systems) by Djones Lettnin
English | 7 May 2017 | ISBN: 1461422655 | 226 Pages | PDF | 8.81 MB

Details

Embedded Software Verification and Debugging eBooks & eLearning

Posted by ksveta6 at May 26, 2017

Details

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications eBooks & eLearning

Posted by at April 25, 2025

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic) by Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
English | July 10, 2024 | ISBN: 3031556070 | 721 pages | MOBI | 71 Mb

Details

Effective Functional Verification: Principles and Processes eBooks & eLearning

Posted by AvaxGenius at Sept. 29, 2019

Effective Functional Verification: Principles and Processes by Srivatsa Vasudevan
English | PDF | 2006 | 268 Pages | ISBN : 0387286012 | 3.22 MB

Effective Functional Verification is organized into 4 parts. The first part contains 3 chapters designed appeal to newcomers and experienced people to the field. There is a survey of various verification methodologies and a discussion of them.

Details

Specification and Verification of Multi-agent Systems (Repost) eBooks & eLearning

Posted by DZ123 at Oct. 1, 2019

Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer, "Specification and Verification of Multi-agent Systems"
English | 2010 | ISBN: 1441969837 | PDF | pages: 415 | 4.2 mb

Details

Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, Octo eBooks & eLearning

Posted by insetes at July 6, 2024

Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings By Daniel Jackson (auth.), Hana Chockler, Alan J. Hu (eds.)
2009 | 215 Pages | ISBN: 3642017010 | PDF | 7 MB

Details