Prakash Rashinkar has over 15 years experience in system design and verification
of embedded systems for communication satellites, launch vehicles and spacecraft
ground systems, high-performance computing, switching, multimedia, and wireless
applications. Prakash graduated with an MSEE from Regional Engineering College,
Warangal, in India. He lead the team that was responsible for delivering the
methodologies for SOC verification at Cadence Design Systems. Prakash is an
active member of the VSIA Functional Verification DWG. He is currently Architect
in the Vertical Markets and Design Environments Group at Cadence.
資源簡(jiǎn)介：隨著半導(dǎo)體制造技術(shù)不斷的進(jìn)步，SOC(System On a Chip)是未來(lái)IC產(chǎn)業(yè)技術(shù)研究關(guān)注的重點(diǎn)。由于SOC設(shè)計(jì)的日趨復(fù)雜化，芯片的面積增大，芯片功能復(fù)雜程度增大，其設(shè)計(jì)驗(yàn)證工作也愈加繁瑣。復(fù)雜ASIC設(shè)計(jì)功能驗(yàn)證已經(jīng)成為整個(gè)設(shè)計(jì)中最大的瓶頸。 使用FPGA系統(tǒng)對(duì)ASI...
上傳時(shí)間： 2013-05-25
上傳用戶：ccsp11
資源簡(jiǎn)介：Prakash Rashinkar has over 15 years experience in system design and verificationof embedded systems for communication satellites, launch vehicles and spacecraftground systems, high-performance computing, switching, multimedia, and wirelessa...
上傳時(shí)間： 2014-01-24
上傳用戶：xinhaoshan2016
資源簡(jiǎn)介：Prakash Rashinkar has over 15 years experience in system design and verificationof embedded systems for communication satellites, launch vehicles and spacecraftground systems, high-performance computing, switching, multimedia, and wirelessa...
上傳時(shí)間： 2013-11-19
上傳用戶：m62383408
資源簡(jiǎn)介：SOC驗(yàn)證的程序 有用 說(shuō)明不多自己看吧
上傳時(shí)間： 2015-05-31
上傳用戶：Divine
資源簡(jiǎn)介：《D_S證據(jù)理論應(yīng)用中的一種驗(yàn)證方法》《D_S證據(jù)理論在多傳感器融合中的應(yīng)用》
上傳時(shí)間： 2013-12-18
上傳用戶：ls530720646
資源簡(jiǎn)介：一種基于貝葉斯理論的目標(biāo)驗(yàn)證方法。 提出了一種驗(yàn)證圖像中候選目標(biāo)的新方案. 綜合目標(biāo)的先驗(yàn)知識(shí),將目標(biāo)驗(yàn)證轉(zhuǎn)化為給定候選目標(biāo)的條 件下,圖像特征觀察集合的條件概率問(wèn)題. 同時(shí),提取圖像的短線段特征,利用短線段特征的觀察,給出了一種目標(biāo) 驗(yàn)證方法排除...
上傳時(shí)間： 2013-11-26
上傳用戶：rishian
資源簡(jiǎn)介：ModelSim下用SystemC做設(shè)計(jì)驗(yàn)證方法與示例
上傳時(shí)間： 2014-01-10
上傳用戶：changeboy
資源簡(jiǎn)介：JAVA表單輸入驗(yàn)證方法。只要輕松引用即可。
上傳時(shí)間： 2014-11-27
上傳用戶：franktu
資源簡(jiǎn)介：程序包包含的驗(yàn)證方法，會(huì)根據(jù)以下的多個(gè)指數(shù)分配系數(shù)(Partition Coefficient)，分類熵Classification Entropy ，分區(qū)索引，分離指數(shù)（Separation Index），Xie and Beni s的索引，嚴(yán)重聚類的算法
上傳時(shí)間： 2017-02-21
上傳用戶：playboys0
資源簡(jiǎn)介：本例是將定時(shí)器1通道0(21腳)設(shè)為"跳變沿捕捉"(即電平發(fā)生變化時(shí)產(chǎn)生中斷), 驗(yàn)證方法是將21腳不斷接高電平、低電平，此時(shí)指示燈PTA1狀態(tài)跟隨改變
上傳時(shí)間： 2017-08-02
上傳用戶：wxhwjf
資源簡(jiǎn)介：SSH下實(shí)現(xiàn)用戶登陸的COOKIE驗(yàn)證方法
上傳時(shí)間： 2017-09-04
上傳用戶：zhuyibin
資源簡(jiǎn)介：SSH下實(shí)現(xiàn)用戶登陸的COOKIE驗(yàn)證方法
上傳時(shí)間： 2013-12-15
上傳用戶：vodssv
資源簡(jiǎn)介：該文檔為基于FPGA的UART設(shè)計(jì)實(shí)現(xiàn)及其驗(yàn)證方法講解文檔，是一份很不錯(cuò)的參考資料，具有較高參考價(jià)值，感興趣的可以下載看看………………
上傳時(shí)間： 2021-12-10
上傳用戶：jiabin
資源簡(jiǎn)介：USB作為從機(jī)設(shè)備時(shí)，管腳連接以及通訊的驗(yàn)證方法其實(shí)就是下載一段簡(jiǎn)單USB程序，在不需要任何驅(qū)動(dòng)的前提下實(shí)現(xiàn)簡(jiǎn)單的USB通訊。通過(guò)這個(gè)簡(jiǎn)單程序的運(yùn)行情況來(lái)判斷USB管腳和通訊是否正常。
上傳時(shí)間： 2022-02-22
上傳用戶：jason_vip1
資源簡(jiǎn)介：隨著半導(dǎo)體技術(shù)與數(shù)字集成電路(微處理器、存貯器以及標(biāo)準(zhǔn)邏輯門電路等)技術(shù)的迅速發(fā)展，特別是隨著計(jì)算機(jī)技術(shù)的發(fā)展，在工業(yè)生產(chǎn)和科學(xué)技術(shù)研究的各行各業(yè)中，人們利用PC機(jī)的強(qiáng)大處理功能代替?zhèn)鹘y(tǒng)儀器的某些部件，開(kāi)發(fā)出各種測(cè)量?jī)x器(虛擬儀器)，傳統(tǒng)儀器的數(shù)...
上傳時(shí)間： 2013-05-16
上傳用戶：bakdesec
資源簡(jiǎn)介：隨著系統(tǒng)芯片(SOC)設(shè)計(jì)復(fù)雜度不斷增加，使得縮短面市時(shí)間的壓力越來(lái)越大。雖然IP核復(fù)用大大減少了SOC的設(shè)計(jì)時(shí)間，但是SOC的驗(yàn)證仍然非常復(fù)雜耗時(shí)。SOC和ASIC的最大不同之處在于它的規(guī)模和復(fù)雜的系統(tǒng)性，除了大量硬件模塊之外，SOC還需要大量的同件和軟件，如...
上傳時(shí)間： 2013-07-02
上傳用戶：dsgkjgkjg
資源簡(jiǎn)介：以SOC軟硬件協(xié)同設(shè)計(jì)方法學(xué)及驗(yàn)證方法學(xué)為指導(dǎo)，系統(tǒng)介紹了以ARM9為核心的AFDX-ES SOC設(shè)計(jì)過(guò)程中，軟硬件協(xié)同設(shè)計(jì)和驗(yàn)證平臺(tái)的構(gòu)建過(guò)程及具體實(shí)施。應(yīng)用實(shí)踐表明該平臺(tái)具有良好的實(shí)用價(jià)值。
上傳時(shí)間： 2014-12-30
上傳用戶：huangld
資源簡(jiǎn)介：驗(yàn)證是制造出功能正確的芯片的必要步驟，是一個(gè)證明設(shè)計(jì)思路是如何實(shí)現(xiàn)的過(guò)程。本書首先介紹驗(yàn)證的基本概念和各種工具，驗(yàn)證的重要性和代價(jià)，比較了不同的驗(yàn)證方法，以及測(cè)試和驗(yàn)證的區(qū)別。然后從方法學(xué)的角度探討了驗(yàn)證的策略和層次，介紹了覆蓋率模型和如何...
上傳時(shí)間： 2016-10-30
上傳用戶：tedo811
資源簡(jiǎn)介：隨著計(jì)算機(jī)及其外圍設(shè)備的發(fā)展，傳統(tǒng)的并行接口和串行接口在靈活性和接口擴(kuò)展等方面存在的缺陷愈來(lái)愈不可回避，并逐漸成為計(jì)算機(jī)通信的瓶頸。在這種情況下，通用串行總線(Universal Serial Bus，USB)誕生了。USB由于具有傳輸速率高、價(jià)格便宜、使用方便、靈活...
上傳時(shí)間： 2013-06-30
上傳用戶：nanfeicui
資源簡(jiǎn)介：隨著ASIC設(shè)計(jì)規(guī)模的增長(zhǎng)，功能驗(yàn)證已成為整個(gè)開(kāi)發(fā)周期的瓶頸。傳統(tǒng)的基于軟件模擬和硬件仿真的邏輯驗(yàn)證方法已難以滿足應(yīng)用的要求，基于FPGA組的原型驗(yàn)證方法能有效縮短系統(tǒng)的開(kāi)發(fā)周期，可提供更快更全面的驗(yàn)證。由于FPGA芯片容量的增加跟不上ASIC設(shè)計(jì)規(guī)模的增...
上傳時(shí)間： 2013-06-12
上傳用戶：極客
資源簡(jiǎn)介：隨著星載電子系統(tǒng)復(fù)雜度、小型化需求的提高，SOC已經(jīng)成為應(yīng)對(duì)未來(lái)星載電子系統(tǒng)設(shè)計(jì)需求的解決途徑。為了簡(jiǎn)化設(shè)計(jì)流程并且提高部件的可重用性，在目前的SOC設(shè)計(jì)中引入了稱之為平臺(tái)的體系結(jié)構(gòu)模板，用它來(lái)描述采用已有的標(biāo)準(zhǔn)核來(lái)開(kāi)發(fā)SOC的方法。在星載電子系統(tǒng)...
上傳時(shí)間： 2013-06-07
上傳用戶：tccc
資源簡(jiǎn)介：現(xiàn)代IC設(shè)計(jì)中，隨著設(shè)計(jì)規(guī)模的擴(kuò)大和復(fù)雜度的增長(zhǎng)，驗(yàn)證成為最嚴(yán)峻的挑戰(zhàn)之一。在現(xiàn)代ASIC設(shè)計(jì)中，很難用單一的驗(yàn)證方法來(lái)對(duì)復(fù)雜芯片進(jìn)行有效的驗(yàn)證，為了將設(shè)計(jì)錯(cuò)誤減少到可接受的最小量，需要將一系列的驗(yàn)證方法和工具結(jié)合起來(lái)。 在64位全定制嵌入式CPU設(shè)計(jì)...
上傳時(shí)間： 2013-04-24
上傳用戶：003030
資源簡(jiǎn)介：MP3音樂(lè)是目前最為流行的音樂(lè)格式，因其音質(zhì)、復(fù)雜度與壓縮比的完美折中，占據(jù)著廣闊的市場(chǎng)，不僅在互聯(lián)網(wǎng)上廣為流傳，而且在便攜式設(shè)備領(lǐng)域深受人們喜愛(ài)。本文以MPEG-1的MP3音頻解碼器為研究對(duì)象，在實(shí)時(shí)性、面積等約束條件下，研究MP3解碼電路的設(shè)計(jì)方法，...
上傳時(shí)間： 2013-07-01
上傳用戶：xymbian
資源簡(jiǎn)介：同步是移動(dòng)通信領(lǐng)域中的關(guān)鍵技術(shù)，是保障通信初始和進(jìn)行的必要過(guò)程，對(duì)系統(tǒng)的性能影響重大。縱觀移動(dòng)通信系統(tǒng)的發(fā)展史，同步技術(shù)自始至終都是人們研究的熱點(diǎn)。 @@ WCDMA作為第三代移動(dòng)通信無(wú)線接口標(biāo)準(zhǔn)之一，已經(jīng)在全世界范圍內(nèi)得到了商用。小區(qū)搜索是WCDMA的...
上傳時(shí)間： 2013-04-24
上傳用戶：wsm555
資源簡(jiǎn)介：隨著數(shù)字視頻廣播的發(fā)展，觀眾將會(huì)面對(duì)越來(lái)越多綜合或?qū)ｉT頻道的選擇，欣賞到更高品質(zhì)，更多服務(wù)的節(jié)目。而廣播業(yè)者則要為這些節(jié)目的版權(quán)購(gòu)買，制作而承受更高的成本，單純的廣告收入已經(jīng)不夠。要求對(duì)用戶收取一定的收視費(fèi)用，而另一方面，調(diào)查也顯示用戶是愿...
上傳時(shí)間： 2013-06-22
上傳用戶：chongchong2016
資源簡(jiǎn)介：隨著印制電路板功能的日益增強(qiáng)，結(jié)構(gòu)日趨復(fù)雜，系統(tǒng)中各個(gè)功能單元之間的連線間距越來(lái)越細(xì)密，基于探針的電路系統(tǒng)測(cè)試方法已經(jīng)很難滿足現(xiàn)在的測(cè)試需要。邊界掃描測(cè)試(BST)技術(shù)通過(guò)將邊界掃描寄存器單元安插在集成電路內(nèi)部的每個(gè)引腳上，相當(dāng)于設(shè)置了施加激勵(lì)...
上傳時(shí)間： 2013-07-20
上傳用戶：hewenzhi
資源簡(jiǎn)介：·作者：[美]Michael D.Ciletti出版社：電子工業(yè)出版社?內(nèi)容簡(jiǎn)介：本書通過(guò)大量完整的實(shí)例講解了使用VerilogHDL進(jìn)行超大規(guī)模集成電路設(shè)計(jì)的結(jié)構(gòu)化建模方法、關(guān)鍵步驟和設(shè)計(jì)驗(yàn)證方法等實(shí)用內(nèi)容。全書共分11章，涵蓋了建模、結(jié)構(gòu)平衡、功能驗(yàn)證、故障模擬和邏...
上傳時(shí)間： 2013-06-19
上傳用戶：PresidentHuang
資源簡(jiǎn)介：基于解決緩沖區(qū)溢出這一普遍發(fā)生的網(wǎng)絡(luò)安全漏洞的目的，通過(guò)軟件、硬件技術(shù)層面的驗(yàn)證方法，結(jié)合人工檢查、靜態(tài)發(fā)現(xiàn)技術(shù)、動(dòng)態(tài)防御技術(shù)等實(shí)驗(yàn)手段，得出了在向緩沖區(qū)中傳輸數(shù)據(jù)時(shí)可以通過(guò)數(shù)組邊界檢
上傳時(shí)間： 2013-10-30
上傳用戶：shawvi
資源簡(jiǎn)介：天空下載小偷PHP版,更新了CACHE程式段，提升了工作效率，進(jìn)一步減輕服務(wù)器負(fù)擔(dān)，并且開(kāi)始測(cè)試新的驗(yàn)證方法
上傳時(shí)間： 2015-08-10
上傳用戶：ukuk
資源簡(jiǎn)介：為 了提高用戶身份認(rèn)證和授權(quán)管理的靈活性，從We b 應(yīng)用系統(tǒng)的安全性角度出發(fā)，討論了 一 種在． N E T F r a me w o r k下保證應(yīng)用程序安全性的身份驗(yàn)證和授權(quán)模型，并給出了模型的具體實(shí)現(xiàn)方法。 該模型利用 F o r ms身份驗(yàn)證方法對(duì)用戶的身份進(jìn)行...
上傳時(shí)間： 2013-12-31
上傳用戶：VRMMO
