·作者：[美]Michael D.Ciletti出版社：电子工业出版社 内容简介：本书通过大量完整的实例讲解了使用VerilogHDL进行超大规模集成电路设计的结构化建模方法、关键步骤和设计验证方法等实用内容。全书共分11章，涵盖了建模、结构平衡、功能验证、故障模拟和逻辑合成等关键问题，还有合成后设计确认、定时分析及可测性设计等内容。
上传时间： 2013-06-19
上传用户：PresidentHuang
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 wirelessapplications. Prakash graduated with an MSEE from Regional Engineering College,Warangal, in India. He lead the team that was responsible for delivering themethodologies for SOC verification at Cadence Design Systems. Prakash is anactive member of the VSIA Functional Verification DWG. He is currently Architectin the Vertical Markets and Design Environments Group at Cadence.
上传时间： 2014-01-24
上传用户：xinhaoshan2016
基于解决缓冲区溢出这一普遍发生的网络安全漏洞的目的，通过软件、硬件技术层面的验证方法，结合人工检查、静态发现技术、动态防御技术等实验手段，得出了在向缓冲区中传输数据时可以通过数组边界检
上传时间： 2013-10-30
上传用户：shawvi
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 wirelessapplications. Prakash graduated with an MSEE from Regional Engineering College,Warangal, in India. He lead the team that was responsible for delivering themethodologies for SOC verification at Cadence Design Systems. Prakash is anactive member of the VSIA Functional Verification DWG. He is currently Architectin the Vertical Markets and Design Environments Group at Cadence.
上传时间： 2013-11-19
上传用户：m62383408
天空下载小偷PHP版,更新了CACHE程式段，提升了工作效率，进一步减轻服务器负担，并且开始测试新的验证方法
上传时间： 2015-08-10
上传用户：ukuk
为 了提高用户身份认证和授权管理的灵活性，从We b 应用系统的安全性角度出发，讨论了 一 种在． N E T F r a me w o r k下保证应用程序安全性的身份验证和授权模型，并给出了模型的具体实现方法。 该模型利用 F o r ms身份验证方法对用户的身份进行鉴别。在授权处理上，模型结合统一资源定位( u ． J f o r m R e s o u r c e L o c a t o r , U R L ) 授权模式和用户所具有的系统角色，分别从页面级和页面操作级对用户的访问进行 控制。该模型在企业局域网环境内能够提供比较灵活的身份认证和基于角色的授权服务。实际应用表明， 基于该模型的We b应用系统能够对用户的访问进行有效的控制，从而保证了系统的安全性
上传时间： 2013-12-31
上传用户：VRMMO
电子产品的设计一般先从功能框图开始，然后细化到原理图，还要经过很复杂和繁琐的调试验证过程，最终才能完成。为了验证原理图的正确性，都要焊接实验板（样板），或使用易于插件的“面包板”，每个节点都必须正确和可靠，连接或焊接过程都是细致而耗时的工作，在器件很多时几乎是不可能完成的任务，而每次调整都要打样，耗时长而成本高，在设计集成电路时更是如此，急需在制造之前验证集成电路的功能。这种现实需要就迫使人们想用他办法来解决。 根据电路理论，人们可以建立起节点方程和回路方程，通过解这些方程组成的方程组就可以得到结果，也就是说可以通过计算来获得电路的工作情况。但包含电感、电容等器件的电路形成的是一组微分方程组，人工计算依然是累人的活，而计算机则可以大展身手，通过其强大的存储、计算和图形显示能力就能轻松完成，很快得到结果。基于这种思想，人们开发出电路仿真软件，通过快速的仿真，代替耗时且累人的反复调测，提高设计速度和效率，也节省了时间和成本。最早、最出色的仿真软件就是SPICE。SPICE是Simulation Program with Integrated Circuits Emphasis的缩写，由美国加利福尼亚大学伯克利(Berkeley)分校的电工和计算机科学系开发，骨干是Ron Rohrer和Larry Nagel，开始是使用FORTRAN语言设计的仿真软件，用于快速可靠地验证集成电路中的电路设计以及预测电路的性能。第一个版本SPICE1于1971年推出，通过围绕晶体管建立电流和电压变量来仿真电路的行为，称为模拟仿真或电路级仿真，且只能模拟100个晶体管的电路。1975年SPICE2发布，开始正式实用化，1983年发布的SPICE2G.6在很长时间内都是工业标准，它包含超过15000条FORTRON语句，运行于多种中小型计算机上。1985年SPICE3推出，转为用C语言开发，易于运行于UNIX工作站，还增加了图形后处理工具和原理图工具，提供了更多的器件模型和分析功能。在1988年SPICE被定为美国国家标准。Spice仿真器采用修改的节点分析法来建立电路方程组，提供非线性直流分析，非线性瞬态分析（实域分析）和线性小信号分析（频域分析）等。其中瞬态分析是最费时的验证方法，通常是利用数值积分法把非线性微分方程变成一组代数方程组，然后用高斯消去法来求解，因为这些线性方程仅仅在积分时刻点是有效的，而随着仿真器进展到下一个积分步长，积分方法必须重复来得到新的线性方程组，如果信号变化得特别快，积分步长应该取得非常小以便积分方法能收敛到正确的解，因此瞬态分析需要大量的数学操作。随着SPICE的发布，其他一些机构也加入研究行列，更有一些软件供应商也看中这个商机，纷纷推出基于SPICE3的各种商业软件，如XSPICE、PSPICE、ISSPICE、T-SPICE、HSPICE等等，功能更强，更方便使用，使SPICE成为电子电路仿真的主流软件，一些软件公司也是通过SPICE相关软件得到发展，并逐渐成为现在的EDA软件公司，成为知识创造财富的实例。因为SPICE仿真需要相关的元器件仿真模型库，还催生了依靠提供器件模型为生的公司和个人，但中国人都乐于奉献，没钱当然不会买，这种公司在中国是无法存在的（http://www.aeng.com/spicemodeling.asp ）。SPICE软件也有一定局限性，有些电路无法仿真或仿真时因不能收敛而失败，特别是用于数模混合电路及脉冲电路时尤其如此。就算通过仿真，最终还是要通过实际制作电路板调试和验证，仿真只是使这个过程大大缩短，次数大大减少，也就降低了成本。软件能提高效率和降低成本，所以就有相应的价值，但中国人的人工费低廉而有的是时间，干得好干得快才让人讨厌，软件在中国也就不值钱了。
上传时间： 2022-05-25
上传用户：
随着手机摄像头和数码相机性能的提升，增加摄像头设备到平台处理器之间的传输带宽变越来越有必要，传统的DVP接口已经不能适应现在的科技发展。在这样的大形势下MIPI联盟应运而生，它制定了一个通用的标准来规范高性能移动终端的接口，而它的子协议MIPI CSI-2则完美的解决了摄像头设备与平台处理器之间高速通信的难题，提供了一种标准化、强大、可靠、低功耗的传输方式。MPI CSI-2接口采用差分信号线，确保了高速数据在传输时不易受到外界的干扰，而其采用的ECC编码和CRC编码则从一定程度上减少了个别错误数据对于整体数据的影响，又由于自身处于MIPI大家族协议之中，它自身也很容易兼容应用MIPI家族协议的其他设备。本文详细的介绍了MIPI CSI-2协议数字部分RTL的实现，模拟部分的实现，以及后续的测试分析。在设计中RTL的设计、纠错以及模块的时序分析在Linux平台上进行。而模拟部分的实现以及整体的动态测试在FPGA平台上进行。通过这样的分工可以更全面的发挥两个平台的长处，更具体的来说，在Linux阶段的设计时充分的利用了modelsim与verdi配合的优势，从而更好的设计代码、分析代码和测试代码。而在综合时又利用Design Compile与Prime time充分的对设计做了资源分析和时序分析，保证了设计的质量。而在FPGA阶段设计时，充分的利用了FPGA灵活而且可以动态测试的优势来验证模块的正确性，此外在FPGA上还可以使用商用接收端来接收最后产生的MIPI数据，这样的验证方法更权威也更有说服力。在设计方法上，在数字部分的RTL设计中充分的应用了模块化的思想，不仅实现了协议的要求，而且灵活的适应了MIPI CSI-2协议在实际应用时的一些变通的需求。而在模拟部分的物理层设计中则大胆的做了尝试和创新，成功的在没有先例参照的情况下自主设计了FPGA下的物理层部分，并且最后成功的被商用接收端验证。总的来说在整个设计过程中遇到了阻碍和很多难题，但是经过不懈的努力最终克服了技术上的种种困难，最终也获得了阶段性的成果和自身的技术提高。
上传时间： 2022-05-30
上传用户：kingwide
eMMC存储介质目前越来越广泛的应用在嵌入式系统中，AM335x的用户也越来越多的使用EMMC作为系统的主要存储介质。目前 AM335x的几款官方demo板中，只有BeagleBone Black上加入了对eMMC芯片的支持，很多用户也是参考 BeagleBone Black进行自己AM335x系统的eMMC设计。笔者最近分别通过 TI Uniflash和SD卡完成了BeagleBone Black上 eMMC芯片的烧写验证工作，软件基于 AM335x Linux SDKO6总结出来供大家参考。1，使用TI UniFlash工具通过USB RNDIS尧写1.1 TI Uniflash简介Uniflash是TI开发的存储器烧写工具，可以支持 AM335x系统的NAND Flash NOR Flash，SPI Flash eMMC烧写。可以参考 wiki上的guide：btto://processors.wiki.ti.com/index.php/Sitara Uniflash Quick Start Guide，在Windows宿主机上下载并安装 Uniflash，并按照其中 3.3节所述在Windows宿主机上安装USB RNDIS驱动。1.2 eMMC烧写原理本文介绍的验证方法是使用 Uniflash工具通过USB对BeagleBone Black上的eMMC进行烧写，原理是通过Romcode，SPL和u-boot三个阶段，将一个专门用于 eMMC烧写的Linux操作系统在BeagleBone Black板上运行起来，并自动运行脚本进行烧写。
标签： BeagleBone Black eMMC
上传时间： 2022-06-26
上传用户：
验证进程同步的信号量方法的C程序
上传时间： 2013-12-21
上传用户：xfbs821
