只为小站
首页
域名查询
文件下载
登录
静态时序分析(STA)和形式验证(formality)
静态时序分析和形式验证的基本原理和方法介绍。适合Timing工程师
2021-08-20 17:30:23
363KB
STA
Formality
静态时序分析,形式验证
1
primetime 中文教程
本文介绍了数字集成电路设计中静态时序分析(Static Timing Analysis)和 形式验证(Formal Verification)的一般方法和流程。这两项技术提高了时序分 析和验证的速度,在一定程度上缩短了数字电路设计的周期。本文使用Synopsys 公司的PrimeTime 进行静态时序分析,用Formality 进行形式验证。由于它们都是 基于Tcl (Tool Command Language)的工具,本文对Tcl 也作了简单的介绍。
2020-02-01 03:04:23
362KB
静态时序分析
形式验证
PrimeTime
Formality
Tcl
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
基于VMD算法的信号降噪.rar
狂神说全部笔记内容.zip
PLECS中文手册.pdf
毕业设计:基于Python的网络爬虫及数据处理(智联招聘)
多机器人编队及避障仿真算法.zip
空间谱估计理论与算法------程序.rar
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
matpower5.0b1.zip
RNN-LSTM卷积神经网络Matlab实现
cublas64_11.dll cublasLt64_11.dll cusolver64_11.dll
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
CUDA并行程序设计 GPU编程指南-中文扫描539页完整版pdf+高质量英文完整591页原版非扫描pdf
神经·模糊·预测控制及其MATLAB实现PDF + MATLAB程序
基于S函数的BP神经网络PID控制器及Simulink仿真和对应代码模型.zip
Plexim Plecs Standalone 4.1.2 x64.7z
最新下载
QT倒计时源代码lcdNumber应用实例
IBM AIX JDK1.6
QT 实现设备升级 远程升级
QT实现自定义多边形维度图
矩阵论学习辅导与典型题解析
十八种单按钮控制启停的程序
04_Autosar OS、RTE、上下电
STM32 LWIP 并发服务器
ISO3166 国家地区标准码 编码,中文名字,英文名字
磁盘文件变化监视小助手.rar
其他资源
谷歌浏览器39/40/41版本
FPGA数字万年历(verilog)
2017中科院数据挖掘作业及往年考试题目
jpegtbx1.4
基于verilog的CMI编码实现
labview 图像处理 智能识别工件上的字
北京科技大学-90分操作系统报告.docx
MFC之CSerialPort类双串口发送接收
jsp+jdbc+servlet分页带增删查改
eCognition Developer初级软件培训教程
15KHz16KHz17KHz18KHz19KHz20Khz_32bit波形
水果捕手1-源码
使用无监督方式的新Haar-Weibull方差模型检测钢表面缺陷
交行SOC用例咨询项目汇报.pdf
greenlight:BigBlueButton服务器的非常简单的最终用户界面-源码
getallmetrics.m
汽车维修记录管理系统(VB编写)
基于ssh框架的web旅游管理系统
Cadence® NC-Verilog® Simulator Help
论坛回复盖楼是本人亲自做的
Android日历完整实现
工作易高端人才招聘系统100%商业最新版(带源码)