陆科验证V0实验指导文档，欢迎下载。。。

This book should be the first one you read to learn the SystemVerilog verification language constructs. It describes how the language works and includes many examples on how to build a basic coverage-driven, constrained-random, layered testbench using Object-Oriented Programming (OOP). The book has many guidelines on building testbenches, to help you understand how and why to use classes, randomization, and functional coverage. Once you have learned the language, pick up some of the methodology books listed in the References section for more information on building a testbench.

航空，汽车行业，simulink基于模型开发的确认和验证过程培训资料，内容详实，过程满足航空适航过程和汽车相关安全规定。

Cadence Formal Verification Guide。形式验证、等价性检查指导手册。

BTAS 2012 provides all interested participants dataset of eye movements' recordings in CSV format.The dataset consists of 978 samples from 37 subjects. BTAS 2012为所有感兴趣的参与者提供了CSV格式的眼部运动记录数据集。数据集由来自37名受试者的978个样本组成。 rf_benchmark.csv svm_benchmark.csv uniform_benchmark.csv test.csv train.csv

formal verification in english

Universal Verification Methodology (UVM) 1.2 Class Reference

高清英文版本 《Writing Testbenches, Functional Verification of HDL Models》 by Janick Bergeron 本书主要以HDL（verilog/vhdl）为例，详细讲述了在IC design flow中Verification 以及Test的设计思想、方法和技巧，涵概了测试的各个方面，是目前进行IC设计的同仁们最为推荐的一本宝典！！

三、医疗大数据的四大特征 医疗大数据呈现以下四个特点： 第一，数据量大。从 TB 到 PB 到 EB，再到 ZB，医疗大数据以 48%的年增长率快速增长（IDC， 2014）。这些数据早已超过了人力所能处理的极限。预计到 2020 年，全球医疗大数据将达到 2314EB，已经达到了 ZB 级别。 第二，数据种类多。医疗数据中既有结构化的数据，也有非结构化的数据。结构化数据包括 Oracle、MySql 等数据库的数据，半结构化数据如 XML 文档，非结构化数据包括 Word、PDF、 音视频、影像等。多种类型的数据对数据的处理能力提出了更高的要求。 第三，数据产生快，处理快。医疗信息服务中会存在大量在线或实时数据分析处理的需求。需 对数据进行实时或准实时的处理、秒级的查询需求响应。例如临床中的诊断和处方数据，健康 指标预警等。 第四，数据缺乏标准。各个医生、各家医疗机构、各个地区的数据没有统一的规范标准，数据 的质量不佳。患者的基础信息和各种临床信息资源分散、重复、孤立，导致有效信息闲置、信 息重复或标准不一致，很难得到有效利用。

VERIFICATION AND VALIDATION IN SCIENTIFIC COMPUTING