只为小站
首页
域名查询
文件下载
登录
Formality
一致性检查图文教程
Formality
一致性检查图文教程,适合于初学者快速入门,超详细
2021-04-10 16:03:35
1.59MB
Formality
1
Formality
在FPGA评测中的应用.pdf
论文:
Formality
在FPGA评测中的应用
2021-02-07 16:00:11
437KB
Formality
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
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
python大作业--爬虫(完美应付大作业).zip
股票价格预测-LSTM-TCN-GBDT:使用四种算法(LSTM,TCN,GRU,GBDT)进行股票价格的预测和预测结果的检验。有四种算法(LSTM,TCN,GRU,GBDT)用于预测股价并检验预测结果-源码
DBSCAN算法Matlab实现
商用密码应用与安全性评估——霍炜.pdf
quartus II13.0器件库.zip
中国地面气候资料日值数据集(V3.0)2010-2019.rar
基于STM32的电子时钟设计
基于YOLOV5的车牌定位和识别源码.zip
中国地面气候资料日值数据集(V3.0)2014-2019.zip
机械臂碰撞检测 八组逆解碰撞检测 机械臂避障路径规划
YOLOv5 人脸口罩图片数据集
基于S函数的BP神经网络PID控制器及Simulink仿真和对应代码模型.zip
得到品控手册7.0.pdf
Monet智能交通场景应用
校园网规划与设计和pkt文件
最新下载
Silicon Photonics 短教程
QT倒计时源代码lcdNumber应用实例
IBM AIX JDK1.6
QT 实现设备升级 远程升级
QT实现自定义多边形维度图
矩阵论学习辅导与典型题解析
十八种单按钮控制启停的程序
04_Autosar OS、RTE、上下电
STM32 LWIP 并发服务器
ISO3166 国家地区标准码 编码,中文名字,英文名字
其他资源
AnyFileToByte.exe
C#.NET读写DWG格式的CAD文件( DWGdirect_NET_3_02)
PTV Vissim 8_用户手册(中文版)
Arduino-MiniCore.zip
ArcGIS API4.X+heatmap.js热力图示例
物联网工程设计与实施
web 大作业 网站个人空间
速达3000netv8.53
数字信号处理理论算法与实现(胡广书).的Matlab代码及参考文献
【毕业论文+代码】MATLAB(DCT DWT)图像数字水印的方案毕业论文,基于dct和dwt的算法,有详细程序.rar
技术架构涵盖内容和演变过程总结的架构图.pptx
国家基础地理信息中心全国400万数据
河海大学 数值分析 课件 试题 习题解答
基于FPGA的verilog语言的洗衣机控制程序
java实现的考试系统
JDqmtPY.zip
arcgis-experience-builder-1.3.zip
atmel 8位,16位,32位单片机Altium Designe 封装库
神舟精盾k480n热键驱动
用于录音 ,适用于语言识别,说话人识别,录音程序,可直接调用
deep-learning-computer-vision
gexf4j-1.0.0.jar
rplidar_sdk
一个简单的MIPS模拟器实例