T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）
AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)
范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016
正在载入数据...
详细信息评论摘要：虽然目前的 IC 设计持续以惊人的速度复杂化,但设计者仍然希望可以通过先进的验证工作提高工作效率。所谓的先进验证工作便是将测试平台自动化(Test-Bench Automation)和正式属性检测(FormalPropeny Checking)两功能添加到功能验证(Functional Verification)的流程之中。本文将主要探讨其中的基本概念、价值以及使用方法,进而帮助读者了解。
地址：宁波市钱湖南路8号浙江万里学院(315100)
Tel:0574-88222222
招生:0574-88222065 88222066
Email:yzb@zwu.edu.cn
