咨询与建议

限定检索结果

文献类型

  • 6 篇 会议

馆藏范围

  • 6 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 6 篇 工学
    • 4 篇 电气工程
    • 3 篇 电子科学与技术(可...
    • 1 篇 计算机科学与技术...

主题

  • 6 篇 function coverag...
  • 3 篇 verification
  • 3 篇 genetic algorith...
  • 2 篇 reusability
  • 2 篇 verification vec...
  • 1 篇 uvm verification...
  • 1 篇 clustering
  • 1 篇 i/o workload
  • 1 篇 integrated circu...
  • 1 篇 test case
  • 1 篇 solid state driv...
  • 1 篇 fuzzing
  • 1 篇 systemverilog te...
  • 1 篇 software testing
  • 1 篇 code coverage
  • 1 篇 symbolic executi...
  • 1 篇 marvell ethernet...
  • 1 篇 uvm
  • 1 篇 compositional an...
  • 1 篇 firmware

机构

  • 1 篇 samsung elect co...
  • 1 篇 integrated silic...
  • 1 篇 institute of mic...
  • 1 篇 integrated silic...
  • 1 篇 tech univ munich...
  • 1 篇 tsinghua univ in...
  • 1 篇 marvell semicond...

作者

  • 1 篇 liji wu
  • 1 篇 liu baorong
  • 1 篇 lee sunghee
  • 1 篇 yang runshan
  • 1 篇 gu jun
  • 1 篇 ognawala saahil
  • 1 篇 jeong gyohun
  • 1 篇 wu liji
  • 1 篇 runshan yang1 li...
  • 1 篇 runshan yang
  • 1 篇 hutzelmann thoma...
  • 1 篇 kim sangmin
  • 1 篇 psallida eirini
  • 1 篇 jun guo
  • 1 篇 pretschner alexa...
  • 1 篇 kim hyelyun
  • 1 篇 wang peter
  • 1 篇 baorong liu

语言

  • 6 篇 英文
检索条件"主题词=function coverage"
6 条 记 录,以下是1-10 订阅
排序:
Improving function coverage with Munch: A Hybrid Fuzzing and Directed Symbolic Execution Approach  18
Improving Function Coverage with Munch: A Hybrid Fuzzing and...
收藏 引用
33rd Annual ACM Symposium on Applied Computing (ACM SAC)
作者: Ognawala, Saahil Hutzelmann, Thomas Psallida, Eirini Pretschner, Alexander Tech Univ Munich Munich Germany
Fuzzing and symbolic execution are popular techniques for finding vulnerabilities and generating test-cases for programs. Fuzzing, a blackbox method that mutates seed input values, is generally incapable of generating... 详细信息
来源: 评论
The research and implement of an advanced function coverage based verification environment
The research and implement of an advanced function coverage ...
收藏 引用
7th International Conference on ASIC
作者: Yang, Runshan Wu, Liji Gu, Jun Liu, Baorong Tsinghua Univ Inst Microelect Beijing 100084 Peoples R China Integrated Silicon Solut Inc Shanghai 201203 Peoples R China
This paper developed an advanced function coverage-directed reusable ASIC verification environment with automatic verification vectors generation. A layered architecture is adopted for reusing;the verification vectors... 详细信息
来源: 评论
A Novel Collaborative SSD Test Case Clustering Method Associating I/O Workload and function coverage  27
A Novel Collaborative SSD Test Case Clustering Method Associ...
收藏 引用
27th IEEE European Test Symposium (ETS)
作者: Jeong, Gyohun Kim, Sangmin Kim, Hyelyun Lee, Sunghee Samsung Elect Co Ltd Device Solut Hwaseong South Korea
In this paper, we propose a TC clustering method that simultaneously considers two data groups: the I/O workload and the function coverage for a higher level of firmware testing. Subsequently, we introduce an applicat... 详细信息
来源: 评论
The Research and Implement of An Advanced function coverage Based Verification Environment
The Research and Implement of An Advanced Function Coverage ...
收藏 引用
7th International Conference on ASIC (ASICON 2007), vol.3
作者: Runshan Yang Liji Wu Jun Guo Baorong Liu Institute of Microelectronics Tsinghua University Beijing China Integrated Silicon Solution Inc. Shanghai China
This paper developed an advanced function coverage-directed reusable ASIC verification environment with automatic verification vectors generation. A layered architecture is adopted for reusing;the verification vectors... 详细信息
来源: 评论
The Research and Implement of An Advanced function coverage Based Verification Environment
The Research and Implement of An Advanced Function Coverage ...
收藏 引用
2007 7th International Conference on ASIC Electronic Version(ASICON 2007)
作者: Runshan Yang1,Liji Wu1,Jun Guo2,Baorong Liu2 1 Institute of Microelectronics,Tsinghua University,Beijing 100084,P.R.China 2 Integrated Silicon Solution Inc(Shanghai),Shanghai 201203,P.R.China
This paper developed an advanced function coverage-directed reusable ASIC verification environment with automatic verification vectors generation.A layered architecture is adopted for reusing;the verification vectors ... 详细信息
来源: 评论
A Unique Centralized-Management Methodology Block/Architecture and a Novel Random Input Stimulus Controlled Variable Table Implementation for the Latest Marvell Ethernet PHY UVM Verification Platform  2
A Unique Centralized-Management Methodology Block/Architectu...
收藏 引用
2nd IEEE International Conference on Integrated Circuits and Microsystems (ICICM)
作者: Wang, Peter Marvell Semicond Inc 5488 Marvell Lane Santa Clara CA 95054 USA
More than eighty different test environments need to be created and maintained for debugging the Marvell Ethernet PHY chip if the traditional industrial verification methodology is being used. This can easily incite v... 详细信息
来源: 评论