JasperGold Formal Verification Platform provides industry-leading performance, capacity, and usability, delivering a 3X productivity gain and up to 6X performance improvement compared to previous solutions. The platform includes JasperGold Apps—targeted solutions that address specific design and verification challenges.
2019-12-21 20:16:33
8.62MB
1
The first high-level synthesis platform for use across your entire SoC design, Stratus High-Level Synthesis (HLS) delivers up to 10X better productivity than traditional RTL design. Based on more than 14 years of production HLS deployment, the Stratus tool lets you quickly design and verify high-quality RTL implementations from abstract SystemC, C, or C++ models.
2019-12-21 20:16:33
10.88MB
1
MSP430X2XX中文版，学习MSP430单片机必备。当时找了好久，免费分享，中文版本，有目录书签。
2019-12-21 20:13:18
4.48MB
1
ANSYS Fluent 入门+进阶合集，其中包括：
1. ANSYS FLUENT 19.2 用户手册(User Guide)，内容包含各个模型的参数定义，设置详解；
2. ANSYS FLUENT 19.2 官方指导教程(Tutorial Guide） 包括这种模型的实际算例的说明文件及对应网格文件；
2. ANSYS FLUENT R17 算法介绍（Theory Guide）包含全部模型的数学公式，模型假说；
2019-12-21 20:11:13
138.92MB
1
Npgsql User Manual
Npgsql用户使用手册-简体中文版
100%由原官方文档翻译。
2019-12-21 20:09:56
345KB
1
自己收集的User-Agent数据，分享给大家使用大概九万条数据，可以用来做采集伪造信息使用
2019-12-21 20:08:39
604KB
1
This guide accompanies the release of version 6 of the Open Source Field Operation and
Manipulation (OpenFOAM) C++ libraries. It provides a description of the basic operation
of OpenFOAM, first through a set of tutorial exercises in chapter 2 and later by a more
detailed description of the individual components that make up OpenFOAM.
OpenFOAM is a framework for developing application executables that use packaged
functionality contained within a collection of approximately 100 C+ libraries. OpenFOAM is
shipped with approximately 250 pre-built applications that fall into two categories: solvers,
that are each designed to solve a specific problem in fluid (or continuum) mechanics; and
utilities, that are designed to perform tasks that involve data manipulation. The solvers in
OpenFOAM cover a wide range of problems in fluid dynamics, as described in chapter 3.
2019-12-21 20:06:09
4.03MB
1