Industrial experience with test generation languages for processor verification

机译：具有用于处理器验证的测试生成语言的行业经验

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We report on our experience with a new test generation language for processor verification. The verification of two superscalar multiprocessors is described and we show the ease of expressing complex verification tasks. The cost and benefit are demonstrated: training takes up to six months; the simulation time required for a desired level of coverage has decreased by a factor of twenty; the number of escape bugs has been reduced.

机译：我们将报告我们使用新一代测试语言进行处理器验证的经验。描述了两个超标量多处理器的验证，并且我们展示了表达复杂验证任务的简便性。成本和收益得到了证明：培训需要长达六个月的时间;所需覆盖水平所需的仿真时间减少了二十倍;转义漏洞的数量已减少。

著录项

来源
《Annual conference on Design automation;Conference on Design automation》|2004年|P.36-40|共5页
会议地点
作者
Michael Behm; John Ludden; Yossi Lichtenstein; Michal Rimon; Michael Vinov; PMichael Vinov;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词
test generation;

机译：测试生成;

相似文献

外文文献
中文文献
专利

1. Testing or Formal Verification: DO-178C Alternatives and Industrial Experience [J] . Moy Yannick, Ledinot Emmanuel, Delseny Hervé, Software, IEEE . 2013,第3期

机译：测试或正式验证：DO-178C替代产品和行业经验
2. SysTest: Improving the Verification, Validation, and Testing Process—Assessing Six Industrial Pilot Projects [J] . Markus Hoppe, Avner Engel, Shalom Shachar Systems Engineering . 2007,第4期

机译：SysTest：改进验证，确认和测试过程—评估六个工业试点项目
3. Development and testing of geo-processing models for the automatic generation of remediation plan and navigation data to use in industrial disaster remediation [J] . G. Lucas, Cs. Lénárt, J. Solymosi Open Geospatial Data, Software and Standards . 2016,第1期

机译：开发和测试用于自动生成修复计划和导航数据的地理处理模型，以用于工业灾难修复
4. Industrial experience with test generation languages gar processor verification [C] . Behm M., Ludden J., Lichtenstein Y., Multimedia Communications and Applications . 1991

机译：具有测试生成语言的Gar处理器验证的行业经验
5. A comparative study of three tests that measure receptive language processing ability in subjects ages eleven to twelve years, five months: The token test for children (Disimoni, 1978) the Fullerton language test for adolescents, oral commands subtest (Thorum, 1980) the clinical evaluation of language function, processing linguistic concepts and processing oral directions subtests (Semel & Wiig, 1980). [D] . Butchers, Helen. 1982

机译：对三种测量年龄在11至12岁，五个月的受试者中的接受语言处理能力的测试的比较研究：儿童的令牌测试（Disimoni，1978）青少年的Fullerton语言测试，口头命令子测试（Thorum，1980）临床语言功能评估，处理语言概念和处理口头指示子测验（Semel＆Wiig，1980）。
6. Industrial methodology for process verification in research (IMPROVER): toward systems biology verification [O] . Pablo Meyer, Julia Hoeng, J. Jeremy Rice, -1

机译：研究过程验证的工业方法论（IMPROVER）：系统生物学验证
7. 4.1 Industrial Experience with Test Generation Languages for Processor Verification [O] . Michael Behm, John Ludden, Yossi Lichtenstein, 2013

机译：4.1处理器验证的测试生成语言的工业经验
8. Programming Languages and Database Language SQL. Validated Processor ListIncluding GOSIP Conformance Testing Registers [R] . Kailey, J. B. 1991

机译：编程语言和数据库语言sQL。经验证的处理器列表，包括GOsIp一致性测试寄存器

Industrial experience with test generation languages for processor verification

摘要

著录项

相似文献

相关主题

期刊订阅