本文介绍了数字集成电路设计中静态时序分析（Static Timing Analysis）和
形式验证（Formal Verification）的一般方法和流程。这两项技术提高了时序分
析和验证的速度，在一定程度上缩短了数字电路设计的周期。本文使用Synopsys
公司的PrimeTime 进行静态时序分析，用Formality 进行形式验证。由于它们都是
基于Tcl （Tool Command Language）的工具，本文对Tcl 也作了简单的介绍。
2020-02-01 03:04:23
362KB
1
这里主要是对声音信号进行分析。因为Matlab在数字信号处理上的便捷，又有功能强大的工具箱辅助设计，所以我们可以利用Matlab完成声音信号频谱分析和时序分析的设计。本次设计内容包括：
1） 信号的获取
2） 时域分析：包括频率，振幅，相位，周期，均值，峰值等
3） 频域分析：主要分析波形的幅值、相位与频率的关系
2019-12-21 22:24:40
336KB
1
描述性时序分析，统计性时序分析，频域分析，时域分析，时序数据挖掘，时间序列挖掘（平滑法预测、趋势预测、季节性预测、符合型时间序列预测…）
2019-12-21 22:05:47
4.11MB
1
手把手教你学FPGA TimeQuest静态时序分析手把手教你学FPGA TimeQuest静态时序分析.pdf手把手教你学FPGA TimeQuest静态时序分析.pdf
2019-12-21 21:42:11
4.73MB
1
解密复兴科技-基于隐蔽马尔科夫模型的时序分析方法。从介绍复兴科技公司着手，深入介绍了HMM模型参数估计、预测与解码问题、隐蔽状态的估计问题、模型选择和模型检验、序列不相关和自相关的马尔科夫状态转换模型，以及MS-AR模型的估计方法等问题，并给出了将HMM模型应用于宏观经济分析和股市波动分析的实例。
2019-12-21 20:28:58
21.68MB
1
集成电路设计中静态时序分析国外经典书籍，非常值得有志于ic设计的从业人员查看研究。
2019-12-21 18:52:30
15.01MB
1