只为小站
首页
域名查询
文件下载
登录
PrimeT
ime使用说明(中文)
介绍了数字集成电路设计中静态时序分析(Static Timing Analysis)和形式验证(Formal Verification)的一般方法和流程。这两项技术提高了时序分析和验证的速度,在一定程度上缩短了数字电路设计的周期。本文使用Synopsys公司的
PrimeT
ime 进行静态时序分析,用Formality 进行形式验证。由于它们都是基于Tcl(Tool Command Language)的工具,本文对Tcl 也作了简单的介绍。
2021-05-17 20:35:24
455KB
pt
primet
时序分析
Verilo
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
CUDA并行程序设计 GPU编程指南-中文扫描539页完整版pdf+高质量英文完整591页原版非扫描pdf
麻雀搜索算法(SSA)优化bp网络
采用K-means聚类,实现多维矩阵的聚类,并进行可视化展示(matlab)
新型冠状病毒疫情_2020年东三省数学建模A题_论文展示
《应用非线性控制》(美)斯洛坦著;程代展译(清晰)
非线性本构关系在ABAQUS中的实现.pdf
多智能体的编队控制程序的补充(之前上传少了一个文件)
基于ray filter的雷达点云地面过滤ROS节点
模型预测控制MPC(模型预测电流控制,MPCC)的simulink仿真,2016b版本
基于S函数的BP神经网络PID控制器及Simulink仿真和对应代码模型.zip
基于matlab扩频通信系统仿真(整套代码)
2010年-2020中国地面气候资料数据集(V3.0)
云视通端口扫描器.rar
matlab时频分析工具箱+安装方法+函数说明+最新版tftb.
2020年数学建模国赛C题论文
最新下载
华为HN8145XR升级文件 HN8145XR-V5R021C00S260
【FPGA】【Verilog】【AX301】四则小计算器设计
MLDN李兴华JavaWeb开发实战经典(高级案例篇)全部源码
健身跑步小程序源码
VHDL6位数字密码锁
计算机图形学大作业简易绘图板mfc
配网绝缘子缺陷检测数据集(1w多张,含txt标签)
FPGA 6位密码锁代码
北京交通大学随机过程历年试题
OCJP(1z0-808)试题答案详解.pdf
其他资源
db2v9.7.txt
mysql+python的学生选课管理系统.zip
0-9高清 wav 音频文件
Microsoft.RdlcDesigner2019.vsix
安卓APP-家校通
solr7.0性能测试报告
扫雷游戏实验报告
教务处教室管理系统(软件工程课程设计)
labview2009中文版 破解版 下载(附注册机)
android 一行代码实现验证码图片功能
electron-ssr-0.2.7.deb
学生成绩管理系统.zip
机器人的鲁棒有限时间控制方法
STM32F407 ARM 单片机开发板_usb to 232程序 KEIL 软件C源码工程文件.zip
Bank-OOP:用于OOP实践的银行模拟器-源码
Downie_4_v4.1.9_pxo.dmg
海运行业价值分析,看这篇就够了.docx
最简单的flash动画
java独立pdd最新的代码.rar
java数字波形生成器