Trust in Nuclear Disarmament Verification
Trust in Nuclear Disarmament Verification By Wyn Q. Bowen
English | PDF,EPUB | 2018 | 179 Pages | ISBN : 3319409875 | 2.05 MB

This book explores how human factors, in particular the contested notion of trust, influence the conduct and practice of arms control verification.
Download Now
Computer Aided Verification: 28th International Conference, Part I

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I by Swarat Chaudhuri, Azadeh Farzan
English | 2016 | ISBN: 3319415271 | 541 Pages | PDF | 36.5 MB
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.
Download Now
Embedded Software Verification and Debugging (Embedded Systems)

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.
Download Now
http://i91.fastpic.ru/big/2017/0923/59/2c1a7375bec81864ca8059629ce49559.jpg
SystemVerilog Verification -1: Start Learning TB Constructs
MP4 | Video: AVC 1280x720 | Audio: AAC 44KHz 2ch | Duration: 1.5 Hours | Lec: 21 | 173 MB
Genre: eLearning | Language: English

VLSI : Learn Systemverilog - Begin your System Verilog learning from the basics to build expertise in SOC verification

This course contains video lectures of 1 hour duration. It is stared by explaining what is design and verification code in System Verilog and how they are different.
Download Now
SystemVerilog Verification 4: Functional Coverage Coding
SystemVerilog Verification 4: Functional Coverage Coding
MP4 | Video: AVC 1280x720 | Audio: AAC 44KHz 2ch | Duration: 2 Hours | Lec: 25 | 264 MB
Genre: eLearning | Language: English

Download Now
PHP Graphic Techniques CAPTCHA Create a verification code

PHP Graphic Techniques CAPTCHA Create a verification code
MP4 | Video: AVC 1280x720 | Audio: AAC 44KHz 2ch | Duration: 43M | Lec: 11 | 106 MB
Genre: eLearning | Language: English
All course examples have been proved to work under PHP5
Download Now
New Data Structures and Algorithms for Logic Synthesis and Verification

New Data Structures and Algorithms for Logic Synthesis and Verification By Luca Gaetano Amaru
English | EPUB | 2017 | 156 Pages | ISBN : 3319431730 | 2.11 MB
This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and future technologies.
Download Now
Simulation and Verification of Electronic and Biological Systems

Simulation and Verification of Electronic and Biological Systems by Peng Li, Luís Miguel Silveira, and Peter Feldmann
English | 2011 | ISBN: 9400701489 | 200 pages | PDF | 4,2 MB
Download Now
Electronic Design Automation for IC System Design, Verification, and Testing, 2nd edition

Luciano Lavagno, Igor L. Markov, "Electronic Design Automation for IC System Design, Verification, and Testing, 2nd edition"
English | 2016 | ISBN-10: 148225462X | 664 pages | PDF | 13 MB
Download Now
Cadence Physical Verification System.v15.13.000

Cadence Physical Verification System v15.13.000 | 2.9 GB

Cadence Design Systems, Inc., the leader in global electronic design innovation, has presented 15.13 version of Physical Verification System (PVS) is the premier signoff solution enabling in-design and back-end physical verification, constraint validation, and reliability checking.The system integrates with industry-standard Cadence Virtuoso custom/analog, Cadence Innovus digital design, and mixed-signal flows. This provides you with an end-to-end design and signoff physical verification solution integrated with all Cadence tools.
Download Now