只为小站
首页
域名查询
文件下载
登录
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
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
拾荒者扫描器.zip
MATLAB之LSTM预测
MATLAB车牌识别系统
android studio课程设计作业PPT+设计文档+可运行源代码+设计思路
多目标优化算法(四)NSGA3的代码(python3.6)
2019和2021年华为单板通用硬件笔试题及答案
Plex v7.12电视端app
西门子逻辑控制设计开发_3部10层
新型冠状病毒疫情_2020年东三省数学建模A题_论文展示
基于MQ2烟雾传感器的STM32F103程序
OLED显示温度和时间-STM32F103C8T6(完整程序工程+原理图+相关资料).zip
pytorch实现RNN实验.rar
Autojs 例子 源码 1600多个教程源码
quartus II13.0器件库.zip
DBSCAN算法Matlab实现
最新下载
极域电子教室管理系统软件V6.0 2021版支持Win11
极域电子教室软件
Winlicense HWID 研究——合集_hwid_WinLicenseHWID_cpuid_机器码_WinLicense_
计算机网络教程 答案 高传善
计算机网络教程 高传善 课后答案
极域多媒体教室互动管理系统软件v2.0.zip
极域课堂管理系统软件.zip
线性代数的几何意义1-5
Y400&Y500 BIOS Back And Recovery.zip
硅基光电子器件仿真专题
其他资源
阿里巴巴1688商品sku数据批量采集工具软件
基于蒙特卡洛树搜索和策略价值网络(强化学习)的AI五子棋算法设计.docx
STM32F446参考手册
matlab 相关向量机 分类 回归
Qt5 局域网通信软件(模仿QQ)
中科大嵌入式Linux 期末复习
基于MATLAB的PQ法潮流计算仿真分析
STEAM离线安装包
DenseNet AttentionUnet模型训练测试完整项目代码
C# Socket 发送接收文件,消息
监控摄像头网络图VISIO素材图库
影院票务管理系统
尚硅谷Redis课后总结及相关文档(周阳老师)
GraphPad Prism 操作指南
高功率光泵远红外激光器系统
8、STL.mmap
dataset.zip
菜鸟5小时速成FPGA_PCIE设计高手教程
M5311-硬件电路设计开发用户手册.rar
基于SURF的特征检测程序 VC6.0下可以直接运行
《Metasploit渗透测试指南修订版》
2019年3月最新高端电竞网吧网咖硬件配置方案
SQL Server 2012 Analysis Services PDF 完整版
Hive编程指南
DeepLearnToolbox-master.zip