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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

51 篇 会议
15 篇 期刊文献
3 篇 学位论文

馆藏范围

69 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

61 篇 工学
- 36 篇 电气工程
- 36 篇 计算机科学与技术...
- 12 篇 软件工程
- 7 篇 控制科学与工程
- 6 篇 信息与通信工程
- 5 篇 机械工程
- 5 篇 材料科学与工程（可...
- 4 篇 电子科学与技术（可...
- 2 篇 生物工程
- 1 篇 力学（可授工学、理...
- 1 篇 石油与天然气工程
5 篇 理学
- 3 篇 物理学
- 2 篇 生物学
- 1 篇 化学
3 篇 管理学
- 3 篇 管理科学与工程(可...
2 篇 农学
- 1 篇 作物学
2 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 公共卫生与预防医...
- 1 篇 特种医学
- 1 篇 医学技术（可授医学...
1 篇 教育学
- 1 篇 教育学

主题

69 篇 functional cover...
14 篇 functional verif...
12 篇 verification
6 篇 system-on-chip
4 篇 systemverilog
4 篇 coverage
4 篇 formal verificat...
4 篇 system verilog
3 篇 systemc
3 篇 reinforcement le...
3 篇 automation
3 篇 universal verifi...
3 篇 machine learning
3 篇 uvm
3 篇 network-on-chip
2 篇 game play testin...
2 篇 multi-core proce...
2 篇 coverage analysi...
2 篇 stimuli generati...
2 篇 sata

机构

3 篇 mentor graph cor...
3 篇 univ fed campina...
2 篇 amrita vishwa vi...
2 篇 brno university ...
2 篇 indian inst tech...
1 篇 fdn bruno kessle...
1 篇 intel corp folso...
1 篇 ain shams univ a...
1 篇 bits pilani hyde...
1 篇 dayananda sagar ...
1 篇 cavium networks ...
1 篇 univ michigan an...
1 篇 univ pisa dept i...
1 篇 portland state u...
1 篇 key lab of integ...
1 篇 transilvania uni...
1 篇 department of en...
1 篇 invecas technol ...
1 篇 cf-small animal ...
1 篇 dfki gmbh cyber ...

作者

3 篇 melcher elmar u....
3 篇 soumya j.
3 篇 el-ashry sameh
3 篇 krishna n. vamsh...
3 篇 da silva karina ...
2 篇 vitullo francesc...
2 篇 petri esa
2 篇 salah khaled
2 篇 wang jing
2 篇 grosse daniel
2 篇 saponara sergio
2 篇 peroutka ondřej
2 篇 dasgupta pallab
2 篇 banerjee ansuman
2 篇 li kang
2 篇 drechsler rolf
2 篇 fanucci luca
1 篇 trudel marie-cla...
1 篇 raja subramani
1 篇 anu mehra

语言

66 篇 英文
2 篇 中文
1 篇 其他

检索条件"主题词=functional coverage"

共 69 条记录，以下是11-20 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Automated Verification System for functional coverage Extraction

Automated Verification System for Functional Coverage Extrac...

引用

International Conference on Electronics, Communication and Aerospace Technology

作者： Palak Jain Mihir V. Shah Bhavin Patel Electronics and Communication Dept. L. D. College of Engineering einfochips

ISBN: (纸本)9781538609668

With the increasing complexities of semiconductor designs, verification becomes more critical and time consuming. ASIC verification consumes 60 to 70 percent of the entire product cycle and hence it is a very important task in digital design world. To reduce the overall time to market, it is crucial to complete the verification in a narrow time frame. coverage gives the statistical measure of the verification objectives that have been met. The objective of this paper is to automate the creation of coverage model from the coverage plan, thus reducing the verification efforts and increasing the verification productivity.

关键词： Verification functional coverage Automation coverage plan

来源：评论

学校读者我要写书评

暂无评论

A Novel Assertion-based CAD Tool for Automatic Extraction of functional coverage 28

A Novel Assertion-based CAD Tool for Automatic Extraction of...

引用

28th IEEE International Conference on Microelectronics (ICM)

作者： Abubakr, Abdelrahman G. El-Kharashy, Hatem El-Yamany, Ahmed El-Ashry, Sameh Salah, Khaled Alexandria Univ Alexandria Egypt Ain Shams Univ Alexandria Egypt Mentor Graph Corp Cairo Egypt

ISBN: (纸本)9781509057214

Over the past decade, the increasing hardware design complexity uncovered the necessity for a justified and complete functional verification process. The implementation of a fast and reliable verification environment is both challenging and time-consuming. Accordingly, running the verification process in parallel with the design is a must as it also reduces the pressure of the time-to-market problem. Nowadays, one of the most important parameters the industry seeks in any verification process is the coverage closure, since it indicates when the verification process can stop. This paper proposes a new functional coverage environment based on regression tests and assertions for protocol checking and coverage of complex sequences, justified and tested with a novel CAD tool. The environment and the tool offer a variety of optimized features through a GUI interface that even designers might find it handy to assist in any long verification process required.

关键词： functional coverage Verification Direct testing Verilog Assertions SystemVerilog Regression testing

来源：评论

学校读者我要写书评

暂无评论

A functional coverage Approach for Direct Testing: An Industrial IP as a Case Study

A Functional Coverage Approach for Direct Testing: An Indust...

引用

International Conference on Computer as a Tool (EUROCON), IEEE

作者： El-Ashry, Sameh Salah, Khaled Mentor Graph Corp Alexandria Egypt Mentor Graph Corp Cairo Egypt

ISBN: (纸本)9781479985692

Tracking the test-plan progress of the direct testing methodology is a manual process. If the test-plan is complicated, the manual tracking effort is huge. In this paper, an automated functional coverage method is proposed to be used along with direct testing in order to automatically track the progress of the test-plan. To the best of our knowledge, it is the first time that functional coverage is proposed to be used with direct testing. Besides, this methodology may predict uncovered corner cases scenarios. The whole universal verification methodology (UVM) hasn't been used because it is a time-consuming process and an infrastructure for direct testing already exists. The time efforts to implement functional coverage only with direct testing are negligible compared to the time efforts needed to implement the whole UVM testbench. An industrial intellectual property (IP) model is used as a case study to demonstrate our findings.

关键词： functional coverage Verification Direct testing Verilog System Verilog Regression testing Perl UVM

来源：评论

学校读者我要写书评

暂无评论

How Good is Your Property? A New Metric for Formal Property coverage

How Good is Your Property? A New Metric for Formal Property ...

引用

2nd International Symposium of Electronics Design Automation (ISEDA)

作者： Zhao, Qianwen Zhang, Hongce Hong Kong Univ Sci & Technol Guangzhou Peoples R China

ISBN: (纸本)9798350352047;9798350352030

Formal property verification has been widely used in function verification, where user-specified properties are checked to ensure function correctness. However, as human verification engineers can also make mistakes when writing the properties, it is a general question on how to ensure the quality of formal properties. There are several existing coverage metrics, e.g., cone-of-influence (COI) and ProofCore coverage that assess the quality of properties in the setting of formal property verification. However, they are not sufficient to identify all coverage holes as this paper will show. Therefore, we propose FRcoverage, a new functional coverage metric for formal property verification, which is based on function reduction. Our case study shows that this new coverage metric successfully identifies three coverage holes in the commonly used RISCV-Formal verification framework when it is applied on PicoRV32 processor verification.

关键词： formal property verification functional coverage satisfiability modulo theories

来源：评论

学校读者我要写书评

暂无评论

Optimizing Constraint Selection in a Design Verification Environment for Efficient coverage Closure

Optimizing Constraint Selection in a Design Verification Env...

引用

作者： Cooper, Vanessa R. Nova Southeastern University

学位级别：Ph.D., Doctor of Philosophy

Hardware Design Verification, commonly called verification, is the process of functionally verifying a design that was written in a Register Transfer Language (RTL) based on the specification. The most common methodology in practice today uses the Universal Verification Methodology (UVM). In addition to being a methodology, UVM is also a collection of object-oriented base classes written in SystemVerilog. A UVM testbench is created that serves as a harness for the Design Under Test (DUT). Stimulus, with constrained random inputs, is written that exercises the design. Constrained Random Verification (CRV) is used to find functional errors in the design and to meet coverage goals. One form of coverage is functional coverage. functional coverage is defined and developed by the verification engineer to verify that certain scenarios are covered during simulation. coverage is created as a collection of coverpoints, and each coverpoint has one or more bins to indicate what is or is not hit. As a simple example, one coverpoint could be the write indicator for a First-In First-Out (FIFO) queue. This coverpoint would have two bins: one if the write indicator was high and another if it were low. For a large System-on-Chip (SOC) design, the number of bins to be covered could number in the tens of thousands. Reaching 100% coverage on such a design would require a large amount of compute space and potentially thousands of simulations running daily. The time it takes to analyze the coverage results and develop new stimulus to cover missing cases can take weeks to months, depending on the complexity of the design. To improve the efficiency and time it takes to reach coverage closure, this dissertation study evaluates the use of machine learning techniques. More specifically, this study uses a combination of Supervised Learning, Reinforcement Learning, and Bayesian Optimization to select constraints to reach coverage closure more efficiently. Using two different RTL models, the resu

关键词： Bayesian optimization Constrained random verification functional coverage IC design verification Machine learning Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

Genetic Algorithms: The Powerful Driver of the functional Verification Process 15th

Genetic Algorithms: The Powerful Driver of the Functional Ve...

引用

15th International Conference on Interactive Mobile Communication, Technologies and Learning (IMCL) - Smart Mobile Communication and Artificial Intelligence

作者： Dinu, Alexandru Transilvania Univ Brasov Brasov 500036 Romania

ISBN: (纸本)9783031543265;9783031543272

The number of mobile devices is increasingly higher. These devices are powered by microprocessors. In order to fast and reliable verify the functionality of the chips before they are manufactured, the classic methods of verification are sometimes not enough, even only for the reason that at least six-eight months are needed to verify a digital design. Therefore, methods of automating the verification process are more and more approached by almost all important companies in semiconductor industry. Aligning to this trend and taking as case study a smart lamp design, in this paper, several approaches of functional verification based on genetic algorithms have been developed, and their performances have been compared. A means of automatic communication between Python code containing genetic algorithms implementations and the simulation environment incorporating the digital design has been established. It was shown that the automation algorithms, although having a common structure, need to be tailored to the specifics of each digital design in order to achieve the best performance in terms of maximum coverage value reached and processing time. It was demonstrated that many developed versions based on genetic algorithms were able to achieve 100% coverage without any direct input from the programmer.

关键词： Digital Design Automation Hardware Verification functional coverage Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

Enabling coverage-Based Verification in Chisel 27

Enabling Coverage-Based Verification in Chisel

引用

27th IEEE European Test Symposium (ETS)

作者： Dobis, Andrew Damsgaard, Hans Jakob Tolotto, Enrico Hesse, Kasper Petersen, Tjark Schoeberl, Martin Tech Univ Denmark Dept Appl Math & Comp Sci Lyngby Denmark

ISBN: (纸本)9781665467063

Ever-increasing performance demands are pushing hardware designers towards designing domain-specific accelerators. This has created a demand for improving the overall efficiency of the hardware design and verification cycles. The design efficiency was improved with the introduction of Chisel. However, verification efficiency has yet to be tackled. One method that can increase verification efficiency is the use of various types of coverage measures. In this paper, we present our opensource, coverage-related verification tools targeting digital designs described in Chisel. Specifically, we have created a new method allowing for statement coverage at an intermediate representation of Chisel, and several methods for gathering functional coverage directly on a Chisel description.

关键词： Hardware Verification Statement coverage functional coverage Chisel Scala

来源：评论

学校读者我要写书评

暂无评论

Constraint random stimuli and functional coverage on mixed signal verification 37

Constraint random stimuli and functional coverage on mixed s...

引用

37th International Semiconductor Conference, CAS 2014

作者： Iliuţə, Ioana Ţepuş, Cristian Infineon Technologies Romania Blvd. Dimitrie Pompeiu nr. 6 Bucharest Romania

ISBN: (纸本)9781479939169

With a constantly increasing complexity, developing today's IC is more challenging not only in design, but also in integration and verification. The new approach is to use the same tools and methodologies from digital verification and to extended them to mixed signal, resulting a metric driven functional and electrical verification. In this paper the reasons for using this technique will be described, together with methodology and environment, providing also, as a demonstration and an argument, a practical example. © 2014 IEEE.

关键词： constraint random generation functional coverage mixed signal verification

来源：评论

学校读者我要写书评

暂无评论

Towards Agent-Based Testing of 3D Games using Reinforcement Learning 7

Towards Agent-Based Testing of 3D Games using Reinforcement ...

引用

37th IEEE/ACM International Conference on Automated Software Engineering (ASE)

作者： Ferdous, Raihana Kifetew, Fitsum Prandi, Davide Susi, Angelo Fdn Bruno Kessler Trento Italy

ISBN: (纸本)9781450394758

Computer game is a billion-dollar industry and is booming. Testing games has been recognized as a difficult task, which mainly relies on manual playing and scripting based testing. With the advances in technologies, computer games have become increasingly more interactive and complex, thus play-testing using human participants alone has become unfeasible. In recent days, play-testing of games via autonomous agents has shown great promise by accelerating and simplifying this process. Reinforcement Learning solutions have the potential of complementing current scripted and automated solutions by learning directly from playing the game without the need of human intervention. This paper presented an approach based on reinforcement learning for automated testing of 3D games. We make use of the notion of curiosity as a motivating factor to encourage an RL agent to explore its environment. The results from our exploratory study are promising and we have preliminary evidence that reinforcement learning can be adopted for automated testing of 3D games.

关键词： reinforcement learning game play testing functional coverage

来源：评论

学校读者我要写书评

暂无评论

Towards Agent-Based Testing of 3D Games using Reinforcement Learning 22

Towards Agent-Based Testing of 3D Games using Reinforcement ...

引用

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering

作者： Raihana Ferdous Fitsum Kifetew Davide Prandi Angelo Susi Fondazione Bruno Kessler (FBK) Italy

ISBN: (纸本)9781450394758

关键词： functional coverage game play testing reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共7页 << < 1 2 3 4 5 6 7 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：