驗(yàn)證文章進(jìn)入驗(yàn)證技術(shù)社區(qū)

一種可信身份驗(yàn)證技術(shù)

TIP是一種安全可信的網(wǎng)絡(luò)，可提供身份驗(yàn)證傳輸框架，實(shí)現(xiàn)安全產(chǎn)品和服務(wù)的交付。它是一種用于創(chuàng)建、交付和管理安全身份驗(yàn)證的綜合性框架。簡(jiǎn)單來(lái)說(shuō)，該基礎(chǔ)架構(gòu)是一個(gè)中央安全庫(kù)，通過(guò)安全的網(wǎng)絡(luò)連接，并以公開(kāi)的加密密鑰管理安全政策為依據(jù)，為已知端點(diǎn)（如憑證卡、讀卡器和打印機(jī)）服務(wù)交付
關(guān)鍵字：技術(shù) 驗(yàn)證身份可信

SOC設(shè)計(jì)驗(yàn)證方法的探索

SOC設(shè)計(jì)驗(yàn)證方法的探索,一、引言　　在片上系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)中，驗(yàn)證這一環(huán)節(jié)日益重要，整個(gè)過(guò)程中花在驗(yàn)證的時(shí)間比重越來(lái)越大，主要原因在于隨著SoC 芯片復(fù)雜度的提高，驗(yàn)證的規(guī)模也成指數(shù)級(jí)的增加。系統(tǒng)芯片的時(shí)代已經(jīng)到來(lái)，在RTL級(jí)硬件設(shè)
關(guān)鍵字：探索方法驗(yàn)證設(shè)計(jì) SOC

FreeARM7 IP核的微處理器邏輯擴(kuò)展與驗(yàn)證

摘要：介紹了FreeARM7 IP核的基本概況及其接口特點(diǎn)，以LPC2101為原型對(duì)該IP核進(jìn)行了擴(kuò)展。結(jié)合USB 1．1設(shè)備控制器IP核和自定制硬件邏輯，構(gòu)建了一種微控制器功能驗(yàn)證回路。在主機(jī)端開(kāi)發(fā)了驗(yàn)證程序、驅(qū)動(dòng)和通信軟件。
關(guān)鍵字：擴(kuò)展驗(yàn)證邏輯微處理器 IP FreeARM7

使用基于模型的設(shè)計(jì)進(jìn)行早期驗(yàn)證和確認(rèn)

使用基于模型的設(shè)計(jì)進(jìn)行早期驗(yàn)證和確認(rèn),MATLAB 簡(jiǎn)化了線性控制設(shè)計(jì)，但是在實(shí)際應(yīng)用中，系統(tǒng)很少是線性的。因此，即使在設(shè)計(jì)了控制器后，對(duì)其進(jìn)行測(cè)試和調(diào)整仍然意味著需要構(gòu)建系統(tǒng)的硬件原型，并對(duì)算法進(jìn)行編碼。或者，因?yàn)闆](méi)有樣機(jī)而無(wú)法進(jìn)行測(cè)試，只有等
關(guān)鍵字：早期驗(yàn)證確認(rèn) 進(jìn)行設(shè)計(jì) 基于模型使用

利用AMSVF進(jìn)行混合信號(hào)SoC的全芯片驗(yàn)證

　　
　　近年來(lái)，消費(fèi)電子和個(gè)人計(jì)算市場(chǎng)的發(fā)展增加了對(duì)于更強(qiáng)大且高度集成的芯片產(chǎn)品的需求。低成本、低功耗、復(fù)雜功能和縮短上市時(shí)間的需要，讓越來(lái)越多的IC設(shè)計(jì)采用了SoC技術(shù)。
　　
　　在這些SoC電路中，由
關(guān)鍵字： SoC 芯片驗(yàn)證信號(hào) 混合 AMSVF 進(jìn)行利用

USB IP核的設(shè)計(jì)及FPGA驗(yàn)證

USB IP核的設(shè)計(jì)及FPGA驗(yàn)證,介紹了一款可配置的USB IP核設(shè)計(jì)，重點(diǎn)描述USB IP核的結(jié)構(gòu)劃分，詳細(xì)闡述了各模塊的設(shè)計(jì)思想。為了提高USB lP的可重用性，本USB IP核設(shè)計(jì)了總線適配器，經(jīng)過(guò)簡(jiǎn)單配置可以用于AMBA ASB總線或WishBone總線結(jié)構(gòu)的SoC中。
關(guān)鍵字：驗(yàn)證 FPGA 設(shè)計(jì) IP USB

用于驗(yàn)證光纖束的LED閃光器

　借助圖1所示電路，你可以驗(yàn)證光纖束，特別是當(dāng)鏈路通過(guò)幾塊插接板時(shí)。你能在遠(yuǎn)端看見(jiàn)它使用的兩只高亮度LED。閃光器在大約50分鐘后關(guān)閉，在關(guān)斷狀態(tài)時(shí)的功耗微乎其微。電路工作于距離超過(guò)1 km的多模光纖上。它還可
關(guān)鍵字：閃光 LED 光纖驗(yàn)證用于

RFID板級(jí)電子標(biāo)簽驗(yàn)證平臺(tái)的設(shè)計(jì)及測(cè)試

RFID板級(jí)電子標(biāo)簽驗(yàn)證平臺(tái)的設(shè)計(jì)及測(cè)試,　在此，首先介紹電子標(biāo)簽的工作原理及ISO18000-6C標(biāo)準(zhǔn)，并根據(jù)ISO18000-6C標(biāo)準(zhǔn)，設(shè)計(jì)了實(shí)現(xiàn)超高頻電子標(biāo)簽驗(yàn)證平臺(tái)的整體電路。重點(diǎn)討論基于EP1C6Q240FPGA的數(shù)字基帶部分設(shè)計(jì)與實(shí)現(xiàn)。最后給出了該平臺(tái)的測(cè)試結(jié)果，驗(yàn)
關(guān)鍵字：設(shè)計(jì) 測(cè)試平臺(tái) 驗(yàn)證電子標(biāo)簽 RFID

基于FPGA的NoC驗(yàn)證平臺(tái)的構(gòu)建

基于FPGA的NoC驗(yàn)證平臺(tái)的構(gòu)建,針對(duì)基于軟件仿真片上網(wǎng)絡(luò)NoC(Network on Chip)效率低的問(wèn)題，提出基于FPGA的NoC驗(yàn)證平臺(tái)構(gòu)建方案。該平臺(tái)集成可重用的流量產(chǎn)生器TG(Traffic Generation)，流量接收器TR(Traffic Receiver)以及NoC軟件，用于對(duì)NoC原型系統(tǒng)進(jìn)行功能驗(yàn)證和性能評(píng)估。實(shí)際設(shè)計(jì)一個(gè)多核NoC，并用該平臺(tái)對(duì)其進(jìn)行FPGA驗(yàn)證，結(jié)果表明該平臺(tái)的驗(yàn)證速度比軟件仿真提高16 000倍以上，并能對(duì)多種不同結(jié)構(gòu)、路由算法、流控策略的NoC進(jìn)行功能驗(yàn)
關(guān)鍵字：平臺(tái) 構(gòu)建驗(yàn)證 NoC FPGA 基于數(shù)字信號(hào)

雷達(dá)航跡融合算法驗(yàn)證系統(tǒng)設(shè)計(jì)

雷達(dá)航跡融合算法驗(yàn)證系統(tǒng)設(shè)計(jì),摘要：在雷達(dá)多站點(diǎn)航跡融合算法設(shè)計(jì)中，算法驗(yàn)證是設(shè)計(jì)的關(guān)鍵一環(huán)。所設(shè)計(jì)航跡融合算法驗(yàn)證系統(tǒng)是基于網(wǎng)絡(luò)的分布式計(jì)算機(jī)系統(tǒng)，結(jié)合自構(gòu)建模式，可模擬多雷達(dá)站點(diǎn)、多目標(biāo)、異步數(shù)據(jù)傳輸、分布式航跡關(guān)聯(lián)與融合等功
關(guān)鍵字：系統(tǒng) 設(shè)計(jì) 驗(yàn)證算法航跡融合雷達(dá)

嵌入式視頻處理系統(tǒng)領(lǐng)域的FPGA驗(yàn)證

隨著生活水準(zhǔn)的不斷提升，越來(lái)越多的家庭開(kāi)始在客廳配備5.1聲道或7.1聲道的家庭影院系統(tǒng)。不過(guò)，對(duì)于那些追求客廳整潔感的客戶來(lái)說(shuō)，傳統(tǒng)的有線布線方式給他們帶來(lái)了一個(gè)很大的困擾，即如何在用音頻線把6或8
關(guān)鍵字： FPGA 驗(yàn)證領(lǐng)域理系視頻處理嵌入式

一種基于可驗(yàn)證秘密分享的密鑰管理方案

引言
隨著計(jì)算機(jī)網(wǎng)絡(luò)與因特網(wǎng)技術(shù)的發(fā)展與普及，電子商務(wù)的應(yīng)用已經(jīng)越來(lái)越廣泛，它正悄悄改變?nèi)藗兊馁?gòu)物、消費(fèi)方式及生活觀念，更加方便人們的日常生活。目前，影響電子商務(wù)發(fā)展的最大障礙之一就是消費(fèi)者擔(dān)心他
關(guān)鍵字：管理方案密鑰分享驗(yàn)證秘密基于

一種基于模型檢查的嵌入式軟件驗(yàn)證方法

一種基于模型檢查的嵌入式軟件驗(yàn)證方法, 嵌入式軟件廣泛應(yīng)用于不同領(lǐng)域，如消費(fèi)電子、工業(yè)控制、汽車電子、移動(dòng)通信等。嵌入式軟件的可靠性保證十分關(guān)鍵。嵌入式軟件中常見(jiàn)的錯(cuò)誤包括狀態(tài)機(jī)錯(cuò)誤、時(shí)序錯(cuò)誤、棧溢出／存儲(chǔ)溢出等，在開(kāi)發(fā)過(guò)程中對(duì)嵌入式軟
關(guān)鍵字：驗(yàn)證方法軟件嵌入式模型檢查基于

得可推出驗(yàn)證和追溯軟件

　　得可最近在拉斯維加斯舉辦的Apex展會(huì)上推出其全新的驗(yàn)證和追溯軟件。此創(chuàng)新技術(shù)通過(guò)產(chǎn)品文件設(shè)置的前期驗(yàn)證和電路板追溯，提供有效的工藝控制和流程支持。　　得可的驗(yàn)證和追溯軟件是對(duì)從事于如汽車和醫(yī)藥重要產(chǎn)業(yè)的制造商的重大突破。徹底驗(yàn)證印刷工藝，該軟件的驗(yàn)證部分防止錯(cuò)誤的耗材使用。譬如，如果載入錯(cuò)誤的網(wǎng)板或錫膏，印刷設(shè)備便不運(yùn)作，從而提供重大的生產(chǎn)力優(yōu)勢(shì)。而通過(guò)產(chǎn)品文件設(shè)置的前期驗(yàn)證，制造只進(jìn)行于核準(zhǔn)的參數(shù)和耗材。鑒于先前由操作人員控制此范圍，新系統(tǒng)避免費(fèi)力和易錯(cuò)的人工反復(fù)檢測(cè)，確保始終如一的質(zhì)量和產(chǎn)
關(guān)鍵字：得可印刷 Instinctiv 驗(yàn)證追溯