时序电路的等价验证方法及其在FPGA中的应用.rar
随着集成电路设计水平的进步,电路规模日益增大,电路设计的时间越米越多的耗费在电路的验证问题上。传统的基于模拟的验证逐渐不能满足验证的需要,形式验证方法作为传统模拟验证方法的补充成为研究的热点。等价验证...
通信时序技术资料下载专区,收录10,000份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
随着集成电路设计水平的进步,电路规模日益增大,电路设计的时间越米越多的耗费在电路的验证问题上。传统的基于模拟的验证逐渐不能满足验证的需要,形式验证方法作为传统模拟验证方法的补充成为研究的热点。等价验证...
在团簇与激光相互作用的研究中和在团簇与加速器离子束的碰撞研究中,需要对加速器束流或者激光束进行脉冲化与时序同步,同时用于测量作用产物的探测系统如飞行时间谱仪(TOF)等要求各加速电场的控制具有一定的时...
c/s通信软件 c/s通信软件 c/s通信软件 c/s通信软件 c/s通信软件 c/s通信软件 c/s通信软件 c/s通信软件 v...