发布求助
文献互助 智能选刊 最新文献

2005 Sixth International Workshop on Microprocessor Test and Verification最新文献

筛选
英文 中文
Pre-Silicon Validation of IPF Memory Ordering for Multi-Core Processors 多核处理器IPF存储器排序的预硅验证
2005 Sixth International Workshop on Microprocessor Test and Verification Pub Date : 2005-11-03 DOI: 10.1109/MTV.2005.19
Soohong P. Kim
{"title":"Pre-Silicon Validation of IPF Memory Ordering for Multi-Core Processors","authors":"Soohong P. Kim","doi":"10.1109/MTV.2005.19","DOIUrl":"https://doi.org/10.1109/MTV.2005.19","url":null,"abstract":"This paper presents a pre-silicon validation methodology of Intelreg Itaniumreg processor family (IPF) memory ordering for multi-core processors. The validation methodology includes a multi-core simulation environment, a shared memory multiprocessor reference model, memory ordering checkers, and a tightly combined strategy of stimulus and coverage, specifically developed for IPF memory ordering. The latest result showed that memory ordering specific focused tests and pseudo-random exercisers were very effective in finding memory ordering bugs in the pre-silicon validation stage","PeriodicalId":179953,"journal":{"name":"2005 Sixth International Workshop on Microprocessor Test and Verification","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2005-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134345093","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing 基于EFSM遍历的伪确定性泛函ATPG
2005 Sixth International Workshop on Microprocessor Test and Verification Pub Date : 2005-11-03 DOI: 10.1109/MTV.2005.1
G. D. Guglielmo, F. Fummi, C. Marconcini, G. Pravadelli
{"title":"A Pseudo-Deterministic Functional ATPG based on EFSM Traversing","authors":"G. D. Guglielmo, F. Fummi, C. Marconcini, G. Pravadelli","doi":"10.1109/MTV.2005.1","DOIUrl":"https://doi.org/10.1109/MTV.2005.1","url":null,"abstract":"This paper presents a functional ATPG framework which exploits the extended finite state machine (EFSM) model to pseudo-deterministically generate test sequences. A constraint solver or a SAT-solver is used to generate test vectors that allow us to uniformly traverse the state space of the design under test (DUT). This definitely increases the ability of the ATPG to observe and control hard-to-detect faults","PeriodicalId":179953,"journal":{"name":"2005 Sixth International Workshop on Microprocessor Test and Verification","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2005-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128930065","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Language-driven Validation of Pipelined Processors using Satisfiability Solvers 使用可满足解算器的流水线处理器的语言驱动验证
2005 Sixth International Workshop on Microprocessor Test and Verification Pub Date : 2005-11-03 DOI: 10.1109/MTV.2005.14
P. Mishra, Heon-Mo Koo, Zhuo Huang
{"title":"Language-driven Validation of Pipelined Processors using Satisfiability Solvers","authors":"P. Mishra, Heon-Mo Koo, Zhuo Huang","doi":"10.1109/MTV.2005.14","DOIUrl":"https://doi.org/10.1109/MTV.2005.14","url":null,"abstract":"Due to increasing demand for faster computations, deeply pipelined processor architectures are being employed to meet desired system performance. Functional validation of such pipelined processors is one of the most complex and expensive tasks in the current systems-on-chip design methodology. While language-based validation techniques have proposed several promising ideas, many challenges remain in applying them to realistic pipelined processors. This paper describes two practical challenges in this methodology: test generation and equivalence checking. The time and resources required for test generation using the existing approaches can be extremely large for today's pipelined processors. Similarly, traditional equivalence checkers are not useful in the context of language-driven model generation and functional validation. This paper outlines our plan to address these challenges using satisfiability checking","PeriodicalId":179953,"journal":{"name":"2005 Sixth International Workshop on Microprocessor Test and Verification","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2005-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121249890","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
An Introduction to the Plasma Language 等离子体语言简介
2005 Sixth International Workshop on Microprocessor Test and Verification Pub Date : 2005-11-03 DOI: 10.1109/MTV.2005.5
B. Kahne, Aseem Gupta, Peter Wilson, N. Dutt
{"title":"An Introduction to the Plasma Language","authors":"B. Kahne, Aseem Gupta, Peter Wilson, N. Dutt","doi":"10.1109/MTV.2005.5","DOIUrl":"https://doi.org/10.1109/MTV.2005.5","url":null,"abstract":"The ability to enhance single-thread performance, such as by increasing clock frequency, is reaching a point of diminishing returns: power is becoming a dominating factor and limiting scalability. Adding additional cores is a scalable way to increase performance, but it requires that system designers have a method for developing multithreaded applications. Plasma, (parallel language for system modeling and analysis) is a parallel language for system modeling and multi-threaded application development implemented as a superset of C++. The language extensions are based upon those found in Occam, which is based upon CSP (communicating sequential processes) by C. A. R. Hoare. The goal of the Plasma project is to investigate whether a language with the appropriate constructs might be used to ease the task of developing highly multi-threaded software. In addition, through the inclusion of a discrete event simulation API, we seek to simplify the task of system modeling and increase productivity through clearer representation and increased compile-time checking of the more difficult-to-get-right aspects of systems models (the concurrency). The result is a single language which allows users to develop a parallel application and then to model it within the context of a system, allowing for hardware-software partitioning and various other early tradeoff analyses. We believe that this language offers a simpler and more concise syntax than other offerings and can be targeted at a large range of potential architectures, including heterogeneous systems and those without shared memory","PeriodicalId":179953,"journal":{"name":"2005 Sixth International Workshop on Microprocessor Test and Verification","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2005-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133516868","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Study of Architecture Description Languages from a Model-based Perspective 基于模型的体系结构描述语言研究
2005 Sixth International Workshop on Microprocessor Test and Verification Pub Date : 2005-11-03 DOI: 10.1109/MTV.2005.2
W. Qin, S. Malik
{"title":"A Study of Architecture Description Languages from a Model-based Perspective","authors":"W. Qin, S. Malik","doi":"10.1109/MTV.2005.2","DOIUrl":"https://doi.org/10.1109/MTV.2005.2","url":null,"abstract":"Owing to the recent trend of using application-specific instruction-set processors (ASIP), many architecture description languages (ADLs) have been created. They specify architectures or microarchitectures of processors, and automate tasks including circuit implementation, simulation, retargetable compilation and formal verification. This paper first gives an overview of the existing ADLs. This paper argues that for an ADL to be capable of rigorously specifying a processor, it must be based on a solid foundation which we call the architecture model. The existing ADLs feature a wide variety of formal and ad-hoc architecture models which confines the flexibility and analyzability of the ADLs in one way or another. This paper then discusses the operation state machine (OSM) model, the result of our first attempt to create high-level processor models. The model has features balanced flexibility and analyzability for use in architecture space exploration frameworks for ASIPs. This paper also describes the use of the OSM model in the Mescal architecture description language (MADL), an open-source ADL framework that we developed. Lastly, it points out the potential application of formal verification techniques on OSM","PeriodicalId":179953,"journal":{"name":"2005 Sixth International Workshop on Microprocessor Test and Verification","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2005-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133860404","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Is IDDQ Test of Microprocessors Feasible? 微处理器IDDQ测试可行吗?
2005 Sixth International Workshop on Microprocessor Test and Verification Pub Date : 2005-11-03 DOI: 10.1109/MTV.2005.13
Bin Xue, D. Walker
{"title":"Is IDDQ Test of Microprocessors Feasible?","authors":"Bin Xue, D. Walker","doi":"10.1109/MTV.2005.13","DOIUrl":"https://doi.org/10.1109/MTV.2005.13","url":null,"abstract":"Quiescent leakage current (Iddq) test has proven very effective for detecting defects that escape other test methods, such as small delay faults or reliability hazards. However, leakage currents in microprocessors, digital signal processors, and graphics processors have risen to the point that these products no longer use Iddq test. Quality must be achieved through other test methods, often at higher development and application cost. We propose to bring Iddq test back to high performance chips by using a practical built-in current sensor (BICS). 180 nm test chip results show that a small sensor can achieve a resolution of 54 muA, which is adequate to detect most small delay defects and reliability hazards","PeriodicalId":179953,"journal":{"name":"2005 Sixth International Workshop on Microprocessor Test and Verification","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2005-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115115528","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
On PSL Properties Re-use in SoC Design Flow Based on Transaction Level Modeling 基于事务级建模的SoC设计流程中PSL属性复用研究
2005 Sixth International Workshop on Microprocessor Test and Verification Pub Date : 2005-11-03 DOI: 10.1109/MTV.2005.15
N. Bombieri, A. Fedeli, F. Fummi
{"title":"On PSL Properties Re-use in SoC Design Flow Based on Transaction Level Modeling","authors":"N. Bombieri, A. Fedeli, F. Fummi","doi":"10.1109/MTV.2005.15","DOIUrl":"https://doi.org/10.1109/MTV.2005.15","url":null,"abstract":"In this paper the authors present some key concepts concerning the properties specification language (PSL) utilization in a system level verification flow for system on chip (SoC) designs. As transaction level modeling (TLM) is the de-facto reference model for SoC design flow, the authors evaluate PSL adoption in TLM context. How to save time and effort in the verification phase during system development steps and how to overcome global system verification limitations through a compositional approach are discussed. Two PSL-based techniques, \"properties re-use\" and \"properties refinement\", are described and compared in terms of refinement effort and simulation speed delay","PeriodicalId":179953,"journal":{"name":"2005 Sixth International Workshop on Microprocessor Test and Verification","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2005-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130882912","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 20
Automated Extraction of Structural Information from SystemC-based IP for Validation 基于systemc的IP结构信息自动提取验证
2005 Sixth International Workshop on Microprocessor Test and Verification Pub Date : 2005-11-03 DOI: 10.1109/MTV.2005.8
David Berner, Hiren D. Patel, D. Mathaikutty, S. Shukla
{"title":"Automated Extraction of Structural Information from SystemC-based IP for Validation","authors":"David Berner, Hiren D. Patel, D. Mathaikutty, S. Shukla","doi":"10.1109/MTV.2005.8","DOIUrl":"https://doi.org/10.1109/MTV.2005.8","url":null,"abstract":"The increasing complexity and size of system level design models introduces a difficult challenge for validating them. Hence, in most industries, design validation takes a large percentage of the overall design time. In efforts to alleviate this problem, the authors propose a methodology of using structural reflection to extract structural information from design sources allowing the use of tools such as test bench generators and model viewers to seamlessly employ this extracted information. In this paper the authors present a methodology to automatically extract structural information from already existing SystemC projects and we show how this information can be exploited for system management and validation tasks. The authors illustrate example uses such as visualization, design management tasks, and automated test generation","PeriodicalId":179953,"journal":{"name":"2005 Sixth International Workshop on Microprocessor Test and Verification","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2005-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134016252","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Diagnosing Faulty Functional Units in Processors by Using Automatically Generated Test Sets 使用自动生成的测试集诊断处理器中的故障功能单元
2005 Sixth International Workshop on Microprocessor Test and Verification Pub Date : 2005-11-03 DOI: 10.1109/MTV.2005.10
P. Bernardi, E. Sanchez, M. Schillaci, M. Reorda, Giovanni Squillero
{"title":"Diagnosing Faulty Functional Units in Processors by Using Automatically Generated Test Sets","authors":"P. Bernardi, E. Sanchez, M. Schillaci, M. Reorda, Giovanni Squillero","doi":"10.1109/MTV.2005.10","DOIUrl":"https://doi.org/10.1109/MTV.2005.10","url":null,"abstract":"Microprocessor technology is increasingly used for many applications; the large market volumes call for cost containment in the production phase. Process yield for processor production is, however, far from ideal. To increase it fault diagnosis is an important means, since it can allow both process characterization and product repair by the usage of backup resources. This paper presents a novel methodology to discriminate faulty modules, rather than gates, in a microprocessor based on the automatic construction of diagnostic software-based test sets. The approach exploits a post-production test set, designed for software-based self-test, and an infrastructure IP to perform the diagnosis. An initial diagnostic test set is built, and then iteratively refined resorting to an evolutionary method. Experimental results are reported in the paper showing the feasibility and effectiveness of the approach for an Intel i8051 processor core","PeriodicalId":179953,"journal":{"name":"2005 Sixth International Workshop on Microprocessor Test and Verification","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2005-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132151949","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A TDM Test Scheduling Method for Network-on-Chip Systems 片上网络系统的TDM测试调度方法
2005 Sixth International Workshop on Microprocessor Test and Verification Pub Date : 2005-11-03 DOI: 10.1109/MTV.2005.3
J. Nolen, R. Mahapatra
{"title":"A TDM Test Scheduling Method for Network-on-Chip Systems","authors":"J. Nolen, R. Mahapatra","doi":"10.1109/MTV.2005.3","DOIUrl":"https://doi.org/10.1109/MTV.2005.3","url":null,"abstract":"Much current research has focused on employing network-on-chips (NoC's) for communication among numerous cores on large scale SoC's. One side benefit of such designs is the potential to utilize this communication infrastructure with little modification for manufacturing test delivery. In this paper the authors present a test scheduling approach for such designs that minimizes test time through high-speed test delivery over the network and lower rate test execution at the target cores. To achieve this, test data are interleaved over the network in a time division multiplexed (TDM) approach. Experimental results with the ITC'02 SoC benchmarks are proposed that show substantial test time reduction beyond single speed techniques. Further enhancements are presented that overcome some deficiencies in the simplest approach","PeriodicalId":179953,"journal":{"name":"2005 Sixth International Workshop on Microprocessor Test and Verification","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2005-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126673628","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信