Verification challenges and opportunities in the new era of microprocessor design

被引：0
|
作者：
Yang, Jin [1 ]
机构：
[1] Intel Corp, Validat Res Lab, Santa Clara, CA 95051 USA
来源：
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS | 2006年 / 4218卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：6 / 7
页数：2
相关论文
共 50 条
  • [21] An accurate analysis of microprocessor design verification
    Shen, Haihua
    Zhang, Heng
    PROCEEDINGS OF THE 16TH ASIAN TEST SYMPOSIUM, 2007, : 165 - 171
  • [22] Practical formal verification in microprocessor design
    Jones, RB
    O'Leary, JW
    Seger, CJH
    Aagaard, MD
    Melham, TF
    IEEE DESIGN & TEST OF COMPUTERS, 2001, 18 (04): : 16 - 25
  • [23] New design: opportunities for engineering design in an era of digital transformation
    Jiao, Roger
    Luo, Jianxi
    Malmqvist, Johan
    Summers, Joshua
    JOURNAL OF ENGINEERING DESIGN, 2022, 33 (10) : 685 - 690
  • [24] Child and family health in the era of prevention: new opportunities and challenges
    Bernard F. Fuemmeler
    Pamela Behrman
    Maija Taylor
    Rebeccah Sokol
    Emily Rothman
    Lisette T. Jacobson
    Danielle Wischenka
    Kenneth P. Tercyak
    Journal of Behavioral Medicine, 2017, 40 : 159 - 174
  • [25] Environmental challenges and opportunities: The new era of radioactive waste management
    Western, R
    RADIATION PROTECTION DOSIMETRY, 1996, 68 (1-2) : 143 - 150
  • [26] Challenges and Opportunities for Training in a New Era in Neuropsychology: a Survey Study
    Fox-Fuller, Joshua
    Wisinger, Amanda
    Koudys, Jacob W.
    DesRuisseaux, Libby A.
    Cerny, Brian
    Schmitt, Taylor
    Towns, Stephanie
    Rahman-Filipiak, Annalise
    Votruba, Kristen
    ARCHIVES OF CLINICAL NEUROPSYCHOLOGY, 2024, 39 (07) : 1213 - 1213
  • [27] Child and family health in the era of prevention: new opportunities and challenges
    Fuemmeler, Bernard F.
    Behrman, Pamela
    Taylor, Maija
    Sokol, Rebeccah
    Rothman, Emily
    Jacobson, Lisette T.
    Wischenka, Danielle
    Tercyak, Kenneth P.
    JOURNAL OF BEHAVIORAL MEDICINE, 2017, 40 (01) : 159 - 174
  • [28] Opportunities and challenges for the development of chinese wushu culture in the new era
    Wang, Jun
    BASIC & CLINICAL PHARMACOLOGY & TOXICOLOGY, 2020, 127 : 185 - 185
  • [29] Marine and coastal policy in the UK: Challenges and opportunities in a new era
    Rodwell, L. D.
    Fletcher, S.
    Glegg, G. A.
    Campbell, M.
    Rees, S. E.
    Ashley, M.
    Linley, E. A.
    Frost, M.
    Earll, B.
    Wynn, R. B.
    Mee, L.
    Almada-Villela, P.
    Lear, D.
    Stanger, P.
    Colenutt, A.
    Davenport, F.
    Bradshaw, N. J. Barker
    Covey, R.
    MARINE POLICY, 2014, 45 : 251 - 258
  • [30] Plant pathology in the era of new education policy: challenges and opportunities
    Chattopadhyay C.
    Indian Phytopathology, 2021, 74 (3) : 587 - 595
12345