SGDC脚本举例( 二 )


bbox的约束方式
对缺失模块的输出应用时钟约束 , 或使用约束定义输入/输出关系 。该约束应该仅用于指定从黑盒输入到输出的组合路径 。示例如下:
见对与其语法进行描述的部分~
两个概念
验证 根据客观实事 , 应该是怎么样的 , 验证检查某样东西是否符合之前已定好的标准确认 实际是什么样的 , 检查软件在终于的执行环境上是否达到预期的目标 , N.A可以理解为not  , 不适用的意思 , 在查询的时候会遇见上述的概念 , 参看
本文参考:.pdf(:)