wioooooo的博客

快速的分析不等于最后的分析，GBA模式运行速度快，但是会采取延迟较大的一条路径，这会使另一条路径变得悲观。Path的nworst和max_paths取决于GBA模式报出最大的违例路径，GBA很快，但不能保证报告的路径是违例最大的真实路径。exhaustive基于path，将重新计算的路径与未重新计算的路径做比较，如果未计算的路径违例更大，则重新计算，直到每个endpoint 计算到25k 数量的路径。PBA会从违例最大的路径开始计算，不同的路径会有不同的提升，PBA的违例不会大于GBA模式产生的违例。

get_attribute、report_attribute、set_user_attribute 和 remove_user_attribute 命令接受对象规范，该规范可以是集合或集合列表。get_attribute 命令的对象规范仅限于包含一个对象的集合。属性是与设计中的对象关联的字符串或值，其中包含有关该对象的一些信息。例如，附加到 cell 的 number_of_pins 属性表示 cell 中的引脚数。如下例所示：通过get_attribute可以抓出自己想要的参数。

将objec添加入collection中，例子如下使用-unique选项，将会删除结果中重复的元素。

通过View > Properties可以所选择对象的属性，如下图所示，通过basic后面的三个横杠，可以控制显示的属性。单元格是彩色的，以直观地显示时钟之间的关系。使用clock analyzer 可以分析时钟域以及时钟和时钟之间的关系。上表显示了背景单元格模式和颜色，它们表示发射和捕获之间的同步或异步关系。使用get_timing_path可以产生一组时钟路径的集合。通过show path可以查看集合中的路径和直方图。通过电路选项，可以查看对应时序路径的电路。P字母意味着部分约束的路径。