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