Q1 : questa autocheck 是个什么样的工具?
Answer: 从官方说明来看,这个工具是一个可以做RTL Lint的工具,额外它可以做的是对顺序逻辑的分析。他有几个部分,有一个编译器,一个分析
引擎,一个用来调试的图形界面。
Q2:questacheck 吐出来的报告有哪些分类?
Q3: 如何使用Questacheck对RTL进行代码质量分析?
第一步, 对代码分析进行配置,主要使用如下的 formal command:
1> netlist clock clock_pattern [-module module_pattern] [-period value] [