ANSYS Products 18.x Verification Models
File size: 4.9 GB

A set of verification models for ANSYS 18.x Fluids and Mechanical.

ANSYS offers a comprehensive software suite that spans the entire range of physics, providing access to virtually any field of engineering simulation that a design process requires. Organizations around the world trust ANSYS to deliver the best value for their engineering simulation software investment.

Download Now
Verification and Validation of 3D Free-Surface Flow Models

Environmental and Water Resources Instit, "Verification and Validation of 3D Free-Surface Flow Models"
2009 | ISBN-10: 0784409579 | 502 pages | PDF | 21 MB
Download Now
ANSYS Products 19.0 (x64) Verification Models
ANSYS Products 19.0 Verification Models | 6.1 Gb

ANSYS has announced the release of ANSYS Products 19.0 Verification Models, a set of verification models for ANSYS 19.0 Fluids and Mechanical.
Download Now
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