Verification Problems in Reusing Internal Design Components

被引：0
|
作者：
Stapleton, Warren [1 ]
Tobin, Paul [2 ]
机构：
[1] AMD, 7171 Southwest Pkwy, Austin, TX 78735 USA
[2] AMD, Boxboro, MA 01719 USA
来源：
DAC: 2009 46TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2 | 2009年
关键词：
Verification; SOC; IP; Validation;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Large SOCs provide new verification challenges. This paper discusses how the SOC/IP paradigm has impacted AMD, and highlights some of the design issues that you need to consider if you are going to embark on implementing the SOC/IP approach on large projects in your own company.
引用
收藏
页码：209 / +
页数：2
相关论文
共 50 条
  • [31] Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection
    Eslami, Mohammad
    Ghasempouri, Tara
    Pagliarini, Samuel
    arXiv, 2022,
  • [32] Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection
    Eslami, Mohammad
    Ghasempouri, Tara
    Pagliarini, Samuel
    PROCEEDINGS OF THE TWENTY THIRD INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED 2022), 2022, : 236 - 241
  • [33] The empirical studies on quality benefits of reusing software components
    Li, Jingyue
    Gupta, Anita
    Arvid, Jon
    Borretzen
    Conradi, Reidar
    COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL II, PROCEEDINGS, 2007, : 399 - +
  • [34] Reusing RTL Assertion Checkers for Verification of SystemC TLM Models
    Nicola Bombieri
    Franco Fummi
    Valerio Guarnieri
    Graziano Pravadelli
    Francesco Stefanni
    Tara Ghasempouri
    Michele Lora
    Giovanni Auditore
    Mirella Negro Marcigaglia
    Journal of Electronic Testing, 2015, 31 : 167 - 180
  • [35] Reusing Steel and Aluminum Components at End of Product Life
    Cooper, Daniel R.
    Allwood, Julian M.
    ENVIRONMENTAL SCIENCE & TECHNOLOGY, 2012, 46 (18) : 10334 - 10340
  • [36] Agent-based support for reusing components in library
    Fujita, S
    Hara, H
    Sugawara, K
    Kinoshita, T
    Shiratori, N
    KNOWLEDGE-BASED SOFTWARE ENGINEERING, 1998, 48 : 39 - 42
  • [37] REUSING AUGMENTING PATHS IN LONG TRANSPORTATION PROBLEMS
    INTRATOR, J
    EHRLICH, G
    NEW ZEALAND OPERATIONAL RESEARCH, 1984, 12 (02): : 99 - 107
  • [38] AHDL models to detect verification problems early in the design process
    Barby, JA
    Shen, H
    TENTH ANNUAL IEEE INTERNATIONAL ASIC CONFERENCE AND EXHIBIT, PROCEEDINGS, 1997, : 339 - 342
  • [39] Design, Modeling, Fabrication, and Verification of New Multifunctional MEMS/NEMS Components
    Freitag, Markus
    Sauppe, Matthias
    Auerswald, Christian
    Kriebel, David
    Schmidt, Henry
    Voigt, Sebastian
    Arnold, Benjamin
    Market, Erik
    Hahn, Susann
    Hiller, Karla
    Heinkel, Ulrich
    Mehner, Jan
    PHYSICA STATUS SOLIDI A-APPLICATIONS AND MATERIALS SCIENCE, 2019, 216 (19):
  • [40] Reusing multi-media components: a catalogue implementation
    Steinmann, U
    Shearer, D
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1998, 30 (13): : 1201 - 1207
12345