...期、顺序相关的一系列操作的 时序和功能是否有 不符合规范的地方，为此研究出基于断言的验证方法(Assertion-based Verification)来推动验 证技术发展。
基于40个网页-相关网页
基于断言的验证方法
Verification method based on assertion
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动