在SystemVeri log更強調了利用隨機化激勵函數(shù)以提高驗證代碼的效率和驗證可靠性的重要性。本文以VMM庫為例，闡述了如何在SystemVeri 1og中使用隨機化函數(shù)來編寫高效率的測試代碼，重點介紹了可重驗證函數(shù)庫的使用方法，以幫助讀者理解如何使用SystemVeri1og高效率地完成復雜的設計驗證。
上傳時間： 2013-11-06
上傳用戶：偷心的海盜
第一章 虛擬儀器及l(fā)abview入門 １．１ 虛擬儀器概述 １．２ labview是什么？ １．３ labview的運行機制 １．３．１ labview應用程序的構成 １．３．２ labview的操作模板 １．４ labview的初步操作 １．４．１ 創(chuàng)建VI和調用子VI １．４．２ 程序調試技術 １．４．３ 子VI的建立 １．５ 圖表（Chart）入門 第二章 程序結構 ２．１ 循環(huán)結構 ２．１．１ While 循環(huán) ２．１．２ 移位寄存器 ２．１．３ For循環(huán) ２．２ 分支結構：Case ２．３ 順序結構和公式節(jié)點 ２．３．１ 順序結構 ２．３．２ 公式節(jié)點 第三章 數(shù)據(jù)類型：數(shù)組、簇和波形（Waveform） ３．１ 數(shù)組和簇 ３．２ 數(shù)組的創(chuàng)建及自動索引 ３．２．１ 創(chuàng)建數(shù)組 ３．２．２ 數(shù)組控制對象、常數(shù)對象和顯示對象 ３．２．３ 自動索引 ３．３ 數(shù)組功能函數(shù) ３．４ 什么是多態(tài)化（Polymorphism）? ３．５ 簇 ３．５．１ 創(chuàng)建簇控制和顯示 ３．５．２ 使用簇與子VI傳遞數(shù)據(jù) ３．５．３ 用名稱捆綁與分解簇 ３．５．４ 數(shù)組和簇的互換 ３．６ 波形（Waveform）類型 第四章 圖形顯示 ４．１ 概述 ４．２ Graph控件 ４．３ Chart的獨有控件 ４．４ XY圖形控件（XY Graph） ４．５ 強度圖形控件（Intensity Graph） ４．６ 數(shù)字波形圖控件（Digital Waveform Graph） ４．７ 3D圖形顯示控件（3D Graph） 第五章 字符串和文件I/ ５．１ 字符串 ５．２ 文件的輸入/輸出（I/O） ５．２．１ 文件 I/O 功能函數(shù) ５．２．２ 將數(shù)據(jù)寫入電子表格文 ５．３ 數(shù)據(jù)記錄文件（datalog file） 第六章 數(shù)據(jù)采集 ６．１ 概述 ６．１．１ 采樣定理與抗混疊濾波器 ６．１．２ 數(shù)據(jù)采集系統(tǒng)的構成 ６．１．３ 模入信號類型與連接方式 ６．１．４ 信號調理 ６．１．５ 數(shù)據(jù)采集問題的復雜程度評估 ６．２ 緩沖與觸發(fā) ６．２．１ 緩沖（Buffers） ６．２．２ 觸發(fā)（Triggering） ６．３ 模擬I/O（Analog I/O） ６．３．１ 基本概念 ６．３．２ 簡單 Analog I/O ６．３．３ 中級Analog I/O ６．４ 數(shù)字I/O（Digital I/O） ６．５ 采樣注意事項 ６．５．１ 采樣頻率的選擇 ６．５．２ ６．５．３ 多任務環(huán)境 ６．６ 附：PCI-MIO-16E-4數(shù)據(jù)采集卡簡介 第七章 信號分析與處理 ７．１ 概述 ７．２ 信號的產(chǎn)生 ７．３ 標準頻率 ７．４ 數(shù)字信號處理 ７．４．１ FFT變換 ７．４．２ 窗函數(shù) ７．４．３ 頻譜分析 ７．４．４ 數(shù)字濾波 ７．４．５ 曲線擬合 第八章 labview程序設計技巧 ８．１ 局部變量和全局變量 ８．２ 屬性節(jié)點 ８．３ VI選項設置 第九章 測量專題 ９．１ 概述 ９．１．１ 模入信號類型與連接方式 ９．１．２ 信號調理 ９．２ 電壓測量 ９．３ 頻率測量 ９．４ 相位測量 ９．５ 功率測量 ９．６ 阻抗測量 ９．７ 示波器 ９．８ 波形記錄與回放 ９．９ 元件伏安特性的自動測試 ９．１０ 掃頻儀 ９．１１ 函數(shù)發(fā)生器 ９．１２ 實驗數(shù)據(jù)處理 ９．１３ 頻域分析 ９．１４ 時域分析 第十章 網(wǎng)絡與通訊 第十一章 儀器控制
上傳時間： 2013-11-06
上傳用戶：15070202241
本技術文章將介紹如何運用 NI LabVIEW FPGA 來設計並客製化個人的 RF 儀器，同時探索軟體設計儀器可為測試系統(tǒng)所提供的優(yōu)勢。
上傳時間： 2013-11-24
上傳用戶：toyoad
物聯(lián)網(wǎng)周刊（智慧化零售和遠程支付
標簽： 2010 物聯(lián)網(wǎng) 零 遠程
上傳時間： 2013-10-12
上傳用戶：ryb
可視化編程 經(jīng)典諾基亞手機游戲。
上傳時間： 2013-11-23
上傳用戶：urgdil
C語言模塊化程序設計方法教程
上傳時間： 2014-01-07
上傳用戶：199311
介紹頭文件與源文件的關系以及如何進行C語言模塊化編程
上傳時間： 2013-11-17
上傳用戶：ABC677339
西門子s7-200仿真軟件漢化版
上傳時間： 2013-10-28
上傳用戶：agent
串口波形上位機
上傳時間： 2013-11-18
上傳用戶：851197153
漢化的不錯，推薦
上傳時間： 2014-01-27
上傳用戶：csgcd001
