- 博客(22)
- 收藏
- 关注
原创 【从零开始のIC学习笔记】LIB文件及延时计算
Lib文件又叫标准单元时序库文件,它定义了所有标准单元的时序信息,用来做逻辑综合、时序分析、功耗分析等。一个lib文件包含std cell的传播延时(cell delay)、输出负载(output load)、输入转换时间(input transction),其中输出负载与输出转换时间用来计算传播延时。
2023-08-30 16:19:14
1323
原创 【从零开始のIC学习笔记】形式验证(Formality)
在IC设计中,需要通过DC工具将设计的RTL代码转换为网表,为了验证所生成的网表与RTL的功能是否一致,需要进行形式验证,形式验证是一种等价性检查。
2023-07-18 18:05:04
6373
3
转载 【转】关于Python查询库中的函数方式
首先打开命令行输入: python -m pydoc -p 1234 ython -m pydoc表示打开pydoc模块,这个模块就是用来查看python文档的工具-p 1234表示在端口号1234上打开server,这个端口号可以自行设置然后就可以在浏览器中打开链接“http://localhost:1234/”看到如图所示的内容 原文地址:https://blog.youkuaiyun.com/qq_28...
2018-07-11 20:22:47
1326
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人