检索结果-内蒙古大学图书馆

5th International Haifa Verification Conference

作者： Adler, Yoram Ur, Shmuel Blue, Dale IBM Corp Haifa Res Lab Univ Campus IL-31905 Haifa Israel IBM Syst & Technol Grp Poughkeepsie NY 12601 USA

ISBN: (纸本)9783642192364

In this paper we present a technique for comparing multiple tests and workloads. We show how to automatically determine what each test does uniquely and how to present the information as succinctly as possible. This technology has a number of uses, including in understanding the contribution of tests in regression buckets, especially of legacy systems, and in evaluating what is missing in tests compared to customer usage. We also show that the technology used in the analysis is superior to previous technology in that it can automatically find holes that were previously only found manually.

关键词： functional coverage testing regression

来源：评论

学校读者我要写书评

暂无评论

Improving performance in medical practices through the extended use of electronic medical record systems: a survey of Canadian family physicians

引用

BMC MEDICAL INFORMATICS AND DECISION MAKING 2015年第1期15卷 1-15页

作者： Raymond, Louis Pare, Guy de Guinea, Ana Ortiz Poba-Nzaou, Placide Trudel, Marie-Claude Marsan, Josianne Micheneau, Thomas Univ Quebec Trois Rivieres Trois Rivieres PQ GA9 5H7 Canada HEC Montreal Chair Informat Technol Hlth Care Montreal PQ H3T 2A7 Canada Univ Quebec Montreal PQ H3C 3P8 Canada Univ Laval Quebec City PQ Canada

Background: Numerous calls have been made for greater assimilation of information technology in healthcare organizations in general, and in primary care settings in particular. Considering the levels of IT investment and adoption in primary care medical practices, a deeper understanding is needed of the factors leading to greater performance outcomes from EMR systems in primary care. To address this issue, we developed and tested a research model centered on the concept of Extended EMR Use. Methods: An online survey was conducted of 331 family physicians in Canadian private medical practices to empirically test seven research hypotheses using a component-based structural equation modeling approach. Results: Five hypotheses were partially or fully supported by our data. Family physicians in our sample used 67% of the clinical and 41% of the communicational functionalities available in their EMR systems, compared to 90% of the administrative features. As expected, extended use was associated with significant improvements in perceived performance benefits. Interestingly, the benefits derived from system use were mainly tied to the clinical support provided by an EMR system. The extent to which physicians were using their EMR systems was influenced by two system design characteristics: functional coverage and ease of use. The more functionalities that are available in an EMR system and the easier they are to use, the greater the potential for exploration, assimilation and appropriation by family physicians. Conclusions: Our study has contributed to the extant literature by proposing a new concept: Extended EMR Use. In terms of its practical implications, our study reveals that family physicians must use as many of the capabilities supported by their EMR system as possible, especially those which support clinical tasks, if they are to maximize its performance benefits. To ensure extended use of their software, vendors must develop EMR systems that satisfy two important d

关键词： Electronic medical records Primary care Family physicians Extended use User satisfaction Ease of use functional coverage Survey research Structural equation modeling

来源：评论

学校读者我要写书评

暂无评论

Multi-core Processor Simulation Vector Learning Optimization Based on S²LS-SVM

Multi-core Processor Simulation Vector Learning Optimization...

引用

Chinese Intelligent Automation Conference (CIAC)

作者： Wang, Guanjun Zhao, Ying Tong, MinMing China Univ Min & Technol Dept Comp Sci & Technol Xuzhou 221116 Peoples R China China Univ Min & Technol Sch Informat & Elect Engn Xuzhou 221116 Peoples R China

ISBN: (纸本)9783662464694;9783662464687

With the revolutionary progress of the EDA industry, the verification of microprocessor becomes more and more difficult. It is a big problem to optimize the huge verification stimuli. Verification stimuli efficiency problem is researched in our paper and multi-core processor verification vector learning method based on (SLS)-L-2-SVM is put forward. First, verification stimuli are generated according to coverage information, the simulation vectors feature selection and extraction is conducted by transition probability matrix. Initial (SLS)-L-2-SVM classifier is trained on the labeled training set, area labeling principle is used for unlabeled samples tagging, dynamic adjustment of centralized "inconsistent" semi-labeled samples;then, train a classifier with the label sample and semi-labeled samples, classifier predict the new stimuli vector is a redundancy or not, if it is redundant, it will not need to do the simulation. Effective label sample provides SMT Solver feedback to the classifier for incremental updates. Experimental results show that this method of training is fast, the simulation vectors can be reduced significantly and rapid verification closure is achieved. It also has important reference value for the future multi-core processors simulation.

关键词： Multi-core processor verification (SLS)-L-2-SVM Stimuli generation functional coverage Transfer probability matrix

来源：评论

学校读者我要写书评

暂无评论

Multi-core Processor Simulation Vector Learning Optimization Based on S2LS-SVM

Multi-core Processor Simulation Vector Learning Optimization...

引用

2015年中国智能自动化学术会议

作者： Guanjun Wang Ying Zhao Min Ming Tong Department of Computer Science and Technology China University of Mining and Technology School of Information and Electrical Engineering China University of Mining and Technology

With the revolutionary progress of the EDA industry, the verification of microprocessor becomes more and more difficult. It is a big problem to optimize the huge verification stimuli. Verification stimuli efficiency problem is researched in our paper and multi-core processor verification vector learning method based on S2LS-SVM is put forward. First, verification stimuli are generated according to coverage information, the simulation vectors feature selection and extraction is conducted by transition probability matrix. Initial S2LS-SVM classifier is trained on the labeled training set, area labeling principle is used for unlabeled samples tagging, dynamic adjustment of centralized "inconsistent" semi-labeled samples;then,train a classifier with the label sample and semi-labeled samples, classifier predict the new stimuli vector is a redundancy or not, if it is redundant, it will not need to do the simulation. Effective label sample provides SMT Solver feedback to the classifier for incremental updates. Experimental results show that this method of training is fast, the simulation vectors can be reduced significantly and rapid verification closure is achieved. It also has important reference value for the future multi-core processors simulation.

关键词： Multi-core processor verification S2LS-SVM Stimuli generation functional coverage Transfer probability matrix

来源：评论

学校读者我要写书评

暂无评论

coverage Evaluation of Post-silicon Validation Tests with Virtual Prototypes 14

Coverage Evaluation of Post-silicon Validation Tests with Vi...

引用

Design, Automation and Test in Europe Conference and Exhibition (DATE)

作者： Cong, Kai Lei, Li Yang, Zhenkun Xie, Fei Portland State Univ Dept Comp Sci Portland OR 97207 USA

ISBN: (纸本)9783981537024

High-quality tests for post-silicon validation should be ready before a silicon device becomes available in order to save time spent on preparing, debugging and fixing tests after the device is available. Test coverage is an important metric for evaluating the quality and readiness of post-silicon tests. We propose an online-capture offline-replay approach to coverage evaluation of post-silicon validation tests with virtual prototypes for estimating silicon device test coverage. We first capture necessary data from a concrete execution of the virtual prototype within a virtual platform under a given test, and then compute the test coverage by efficiently replaying this execution offline on the virtual prototype itself. Our approach provides early feedback on quality of post-silicon validation tests before silicon is ready. To ensure fidelity of early coverage evaluation, our approach have been further extended to support coverage evaluation and conformance checking in the post-silicon stage. We have applied our approach to evaluate a suite of common tests on virtual prototypes of five network adapters. Our approach was able to reliably estimate that this suite achieves high functional coverage on all five silicon devices.

关键词： elemental semiconductors quality control semiconductor device testing silicon concrete execution conformance checking coverage evaluation functional coverage high-quality tests network adapters online-capture offline-replay approach post-silicon stage post-silicon test quality post-silicon test readiness post-silicon validation tests silicon device test coverage virtual platform virtual prototype virtual prototypes Interface states Measurement Prototypes Registers Silicon Silicon devices Software

来源：评论

学校读者我要写书评

暂无评论

A Verification Methodology for Reusable Test Cases and coverage Based on System Verilog

A Verification Methodology for Reusable Test Cases and Cover...

引用

2014 IEEE International Conference on Electron Devices and Solid-State Circuits (EDSSC)

作者： Chai, Lingling Xie, Zheng Wang, Xin'an Peking Univ Shenzhen Grad Sch Key Lab Integrated Microsyst Shenzhen 518055 Peoples R China

ISBN: (纸本)9781479923342

As the size and complexity of SoC design grow, it is common to establish a scalable and reusable verification test bench for verification engineers. To improve the efficiency of verification and reduce the development time and effort in chip design projects, the extensive and reusable test case model and function coverage model for the special circuit and the standard protocols should be focused on by verification engineers. In this paper, a verification methodology for reusable test cases and coverage is described. As an example, a reusable test bench of chain table DUT is utilized to verify the feasibility of the verification methodology.

关键词： Verification Methodology Reusability Test Case functional coverage

来源：评论

学校读者我要写书评

暂无评论

coverage Metrics for Device Level Validation of SATA and SAS Devices - An Approach 5

Coverage Metrics for Device Level Validation of SATA and SAS...

引用

5th International Conference on Intelligent Systems, Modelling and Simulation (ISMS)

作者： Subramani, Raja Penneru, Ramya Selvaraj, Glamar Radhakrishnan, Bharath Puttaiah, Krishnamurthy Tech Mahindra Integrated Engn Serv Bombay Maharashtra India

ISBN: (纸本)9781479938575

This paper highlights the significance of coverage analysis with respect to the functionality and adherence to the standard specification of SATA, SAS, NVME & eMMC Devices (SSD's, HDD's). coverage analysis aims at achieving an effective way of testing the intrinsic functionality of the storage devices. Commands are issued to the Device under test to validate the attributes such as methods of transfer, latest technology involved to structure the storage device functionality, performance and the adherence to the protocol (SATA protocol). Validation environment of the storage device will include innumerable test cases which lead to redundancy of test scenarios and may cause gaps in the whole validation procedure rendering the goal to achieve a thorough validation output.

关键词： functional coverage Command coverage HDD SSD SATA SAS NVME eMMC coverage coverage Analysis

来源：评论

学校读者我要写书评

暂无评论

A Framework for Specifying, Modeling, Implementation and Verification of SOC Protocols 27

A Framework for Specifying, Modeling, Implementation and Ver...

引用

27th IEEE International System-on-Chip Conference (IEEE SOCC)

作者： Ikram, Shahid Akkawi, Isam Perveiler, Jack Asher, David Ellis, Jim Cavium Networks 600 Nickerson Rd Marlborough MA 01751 USA Cavium Networks San Jose CA 95131 USA

ISBN: (纸本)9781479933785

We are presenting a hybrid verification framework to design, verify and implement SOC protocols. The framework is based on the creation of specifications in terms of extended state transition tables, creation of templates for different phases of the design cycle and integration of these components in a design flow. The resultant design flow presents a tight integration of the debug/verification loop across different design stages that in turn reduce the time to market of the chip. This framework was applied to the design process of multiple SOC chips' production and the results have shown measurable enhancements.

关键词： Cache coherence Protocols modeling Formal verification functional verification functional coverage

来源：评论

学校读者我要写书评

暂无评论

An advanced Verification Platform based on UVM 4

An advanced Verification Platform based on UVM

引用

4th International Conference on Applied Mechanics, Materials and Manufacturing (ICAMMM)

作者： Wang, Jing Wang, Fei Shanghai Huahong Integrated Circuit Co Ltd Shanghai Peoples R China

ISBN: (纸本)9783038352884

An advanced verification platfrom based on UVM architecture is implemented in this paper. This paper presents a hierarchical verification environment that is portable, reusable, and easy to extend, which is constructed based on an object oriented language named System Verilog. The verification platform is applied to verify a RFID (Radio Frequency Identification) tag chip which is compliant with the ISO/IEC15693 standard, communicates with a reader outside through a RF analog circuitry, completes anti-collision flow, selects card, authenticates based on SM7 algorithm and controls the writing and reading of EEPROM inside. According to the instruction supported by the tag chip is wide and variety, and further more it's very rich in the command frame contents, the advanced verification platform which achieves the constraint-random stimulus generation, functional coverage and self-check mechanism, reduces the verification cycle, improves verification efficiency and ensures verification adequacy.

关键词： Universal Verification Methodology (UVM) Verification Platform Constraint-random functional coverage Radio Frequency ISO/IEC 15693

来源：评论

学校读者我要写书评

暂无评论

Resilient Sensor Networks Utilizing Dynamic Resource Reuse A novel paradigm towards fault-tolerant wireless sensing

Resilient Sensor Networks Utilizing Dynamic Resource Reuse A...

引用

IEEE International Conference on Computing, Management and Telecommunications (ComManTel)

作者： Oteafy, Sharief M. A. Hassanein, Hossam S. Queens Univ Sch Comp Kingston ON Canada

ISBN: (纸本)9781479929030

An important mandate for the operation of Wireless Sensor Networks (WSNs) is ensuring resilient operation. While current solutions, such as over-deployment, ruggedized packaging and re-mobilization of sensing nodes, offer viable remedies, the question of resilience lies beyond sheer functionality with fault tolerance. That is, a trade-off has commonly grown to be a myth, we could either have a resilient network, or an efficient one. In this paper we present a model that adopts a resilient paradigm of resource reuse (RR), named RR-WSNs, whereby the individual resources of sensing systems would be re-utilized and assigned to different applications as failures occur. We elaborate on our definition of functional coverage in WSNs, and how application requirements are met by assigning functional tasks to viable resources in the region of interest. We present an optimal mapping via a binary integer programming formulation. We present our results from Matlab implementations, demonstrating functional longevity.

关键词： Resilient operation Sensor Networks Novel paradigm Resource Reuse functional coverage

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：