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产业技术研究关注的重点。由于SOC设计的日趋复杂化，芯片的面积增大，芯片功能复杂程度增大，其设计验证工作也愈加繁琐。复杂ASIC设计功能验证已经成为整个设计中最大的瓶颈。 使用FPGA系统对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证据理论应用中的一种验证方法》《D_S证据理论在多传感器融合中的应用》
上传时间： 2013-12-18
上传用户：ls530720646
资源简介：一种基于贝叶斯理论的目标验证方法。 提出了一种验证图像中候选目标的新方案. 综合目标的先验知识,将目标验证转化为给定候选目标的条 件下,图像特征观察集合的条件概率问题. 同时,提取图像的短线段特征,利用短线段特征的观察,给出了一种目标 验证方法排除...
上传时间： 2013-11-26
上传用户：rishian
资源简介：ModelSim下用SystemC做设计验证方法与示例
上传时间： 2014-01-10
上传用户：changeboy
资源简介：JAVA表单输入验证方法。只要轻松引用即可。
上传时间： 2014-11-27
上传用户：franktu
资源简介：程序包包含的验证方法，会根据以下的多个指数分配系数(Partition Coefficient)，分类熵Classification Entropy ，分区索引，分离指数（Separation Index），Xie and Beni s的索引，严重聚类的算法
上传时间： 2017-02-21
上传用户：playboys0
资源简介：本例是将定时器1通道0(21脚)设为"跳变沿捕捉"(即电平发生变化时产生中断), 验证方法是将21脚不断接高电平、低电平，此时指示灯PTA1状态跟随改变
上传时间： 2017-08-02
上传用户：wxhwjf
资源简介：SSH下实现用户登陆的COOKIE验证方法
上传时间： 2017-09-04
上传用户：zhuyibin
资源简介：SSH下实现用户登陆的COOKIE验证方法
上传时间： 2013-12-15
上传用户：vodssv
资源简介：该文档为基于FPGA的UART设计实现及其验证方法讲解文档，是一份很不错的参考资料，具有较高参考价值，感兴趣的可以下载看看………………
上传时间： 2021-12-10
上传用户：jiabin
资源简介：USB作为从机设备时，管脚连接以及通讯的验证方法其实就是下载一段简单USB程序，在不需要任何驱动的前提下实现简单的USB通讯。通过这个简单程序的运行情况来判断USB管脚和通讯是否正常。
上传时间： 2022-02-22
上传用户：jason_vip1
资源简介：随着半导体技术与数字集成电路(微处理器、存贮器以及标准逻辑门电路等)技术的迅速发展，特别是随着计算机技术的发展，在工业生产和科学技术研究的各行各业中，人们利用PC机的强大处理功能代替传统仪器的某些部件，开发出各种测量仪器(虚拟仪器)，传统仪器的数...
上传时间： 2013-05-16
上传用户：bakdesec
资源简介：随着系统芯片(SOC)设计复杂度不断增加，使得缩短面市时间的压力越来越大。虽然IP核复用大大减少了SOC的设计时间，但是SOC的验证仍然非常复杂耗时。SOC和ASIC的最大不同之处在于它的规模和复杂的系统性，除了大量硬件模块之外，SOC还需要大量的同件和软件，如...
上传时间： 2013-07-02
上传用户：dsgkjgkjg
资源简介：以SOC软硬件协同设计方法学及验证方法学为指导，系统介绍了以ARM9为核心的AFDX-ES SOC设计过程中，软硬件协同设计和验证平台的构建过程及具体实施。应用实践表明该平台具有良好的实用价值。
上传时间： 2014-12-30
上传用户：huangld
资源简介：验证是制造出功能正确的芯片的必要步骤，是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次，介绍了覆盖率模型和如何...
上传时间： 2016-10-30
上传用户：tedo811
资源简介：随着计算机及其外围设备的发展，传统的并行接口和串行接口在灵活性和接口扩展等方面存在的缺陷愈来愈不可回避，并逐渐成为计算机通信的瓶颈。在这种情况下，通用串行总线(Universal Serial Bus，USB)诞生了。USB由于具有传输速率高、价格便宜、使用方便、灵活...
上传时间： 2013-06-30
上传用户：nanfeicui
资源简介：随着ASIC设计规模的增长，功能验证已成为整个开发周期的瓶颈。传统的基于软件模拟和硬件仿真的逻辑验证方法已难以满足应用的要求，基于FPGA组的原型验证方法能有效缩短系统的开发周期，可提供更快更全面的验证。由于FPGA芯片容量的增加跟不上ASIC设计规模的增...
上传时间： 2013-06-12
上传用户：极客
资源简介：随着星载电子系统复杂度、小型化需求的提高，SOC已经成为应对未来星载电子系统设计需求的解决途径。为了简化设计流程并且提高部件的可重用性，在目前的SOC设计中引入了称之为平台的体系结构模板，用它来描述采用已有的标准核来开发SOC的方法。在星载电子系统...
上传时间： 2013-06-07
上传用户：tccc
资源简介：现代IC设计中，随着设计规模的扩大和复杂度的增长，验证成为最严峻的挑战之一。在现代ASIC设计中，很难用单一的验证方法来对复杂芯片进行有效的验证，为了将设计错误减少到可接受的最小量，需要将一系列的验证方法和工具结合起来。 在64位全定制嵌入式CPU设计...
上传时间： 2013-04-24
上传用户：003030
资源简介：MP3音乐是目前最为流行的音乐格式，因其音质、复杂度与压缩比的完美折中，占据着广阔的市场，不仅在互联网上广为流传，而且在便携式设备领域深受人们喜爱。本文以MPEG-1的MP3音频解码器为研究对象，在实时性、面积等约束条件下，研究MP3解码电路的设计方法，...
上传时间： 2013-07-01
上传用户：xymbian
资源简介：同步是移动通信领域中的关键技术，是保障通信初始和进行的必要过程，对系统的性能影响重大。纵观移动通信系统的发展史，同步技术自始至终都是人们研究的热点。 @@ WCDMA作为第三代移动通信无线接口标准之一，已经在全世界范围内得到了商用。小区搜索是WCDMA的...
上传时间： 2013-04-24
上传用户：wsm555
资源简介：随着数字视频广播的发展，观众将会面对越来越多综合或专门频道的选择，欣赏到更高品质，更多服务的节目。而广播业者则要为这些节目的版权购买，制作而承受更高的成本，单纯的广告收入已经不够。要求对用户收取一定的收视费用，而另一方面，调查也显示用户是愿...
上传时间： 2013-06-22
上传用户：chongchong2016
资源简介：随着印制电路板功能的日益增强，结构日趋复杂，系统中各个功能单元之间的连线间距越来越细密，基于探针的电路系统测试方法已经很难满足现在的测试需要。边界扫描测试(BST)技术通过将边界扫描寄存器单元安插在集成电路内部的每个引脚上，相当于设置了施加激励...
上传时间： 2013-07-20
上传用户：hewenzhi
资源简介：·作者：[美]Michael D.Ciletti出版社：电子工业出版社 内容简介：本书通过大量完整的实例讲解了使用VerilogHDL进行超大规模集成电路设计的结构化建模方法、关键步骤和设计验证方法等实用内容。全书共分11章，涵盖了建模、结构平衡、功能验证、故障模拟和逻...
上传时间： 2013-06-19
上传用户：PresidentHuang
资源简介：基于解决缓冲区溢出这一普遍发生的网络安全漏洞的目的，通过软件、硬件技术层面的验证方法，结合人工检查、静态发现技术、动态防御技术等实验手段，得出了在向缓冲区中传输数据时可以通过数组边界检
上传时间： 2013-10-30
上传用户：shawvi
资源简介：天空下载小偷PHP版,更新了CACHE程式段，提升了工作效率，进一步减轻服务器负担，并且开始测试新的验证方法
上传时间： 2015-08-10
上传用户：ukuk
资源简介：为 了提高用户身份认证和授权管理的灵活性，从We b 应用系统的安全性角度出发，讨论了 一 种在． N E T F r a me w o r k下保证应用程序安全性的身份验证和授权模型，并给出了模型的具体实现方法。 该模型利用 F o r ms身份验证方法对用户的身份进行...
上传时间： 2013-12-31
上传用户：VRMMO
