对验证的量度:何时算充分?

来源 :电子设计技术 | 被引量 : 0次 | 上传用户:qhjiso
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
收集对验证覆盖的量度,并将它们融合为一个清晰的图像,这不是件容易的事。Mentor Graphics公司首席验证科学家Harry Foster认为,今天的大多数设计经理要依赖于某种验证覆盖的量度来回答三个重要问题:我在哪里?去哪里?何时到?但覆盖的量度有很多,它们来自各种工具,表示不同的事情。对设计经理来说,重要的是理解某个量度的 It is not easy to gather measurements of validation coverage and blend them into a clear image. Harry Foster, principal verification scientist at Mentor Graphics Inc., thinks most of today’s design relies on some measure of verification coverage to answer three important questions: Where do I go? Where? When? But there are many measures of coverage, They come from a variety of tools that represent different things. For design managers, it’s important to understand some measure
其他文献
对某多层框架隔震结构采用三维有限元模型进行非线性时程分析,分析该结构在地震作用下的动力特性和地震反应性能,并与未经隔震情况进行比较.分析表明:框多层架结构经隔振设计
从新型构造技术、新型材料和智能控制技术三个方面探讨节能技术在建筑玻璃幕墙中的设计应用。 The design and application of energy-saving technology in building glass
由于PDA掌上电脑具有体积小、重量轻、携带轻便,适应于野外测量等特点,根据有关技术依据及规范.采用PDA硬件平台,在windos CE软件支持下,利用Microsoft eMbedded Visual Basi