Assertion-based design with Horus

被引：0
|
作者：
Oddos, Yann [1 ]
Morin-Allory, Katell [1 ]
Borrione, Dominique [1 ]
机构：
[1] INPG UJF CNRS, Lab TIMA, F-38031 Grenoble, France
来源：
MEMOCODE'08: SIXTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS | 2008年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：75 / 76
页数：2
相关论文
共 50 条
  • [1] Multi-level assertion-based design
    Eveking, Hans
    Braun, Martin
    Schickel, Martin
    Schweikert, Martin
    Nimbler, Volker
    [J]. MEMOCODE'07: FIFTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2007, : 85 - +
  • [2] Assertion-based microarchitecture design for improved fault tolerance
    Reddy, Vimal K.
    Al-Zawawi, Ahmed S.
    Rotenberg, Eric
    [J]. PROCEEDINGS 2006 INTERNATIONAL CONFERENCE ON COMPUTER DESIGN, 2007, : 362 - 369
  • [3] Hybrid, incremental assertion-based verification for TLM design flows
    Bombieri, Nicola
    Fummi, Franco
    Pravadelli, Graziano
    Fedeli, Andrea
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 2007, 24 (02): : 140 - 152
  • [4] An assertion-based verification methodology for system-level design
    Gharehbaghi, Amir Masoud
    Yaran, Benyamin Hamdin
    Hessabi, Shaahin
    Goudarzi, Maziar
    [J]. COMPUTERS & ELECTRICAL ENGINEERING, 2007, 33 (04) : 269 - 284
  • [5] Advanced Assertion-Based Design for Mixed-Signal Verification
    Jesser, Alexander
    Laemmermann, Stefan
    Pacholik, Alexander
    Weiss, Roland
    Ruf, Juergen
    Hedrich, Lars
    Fengler, Wolfgang
    Kropf, Thomas
    Rosenstiel, Wolfgang
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2008, E91A (12) : 3548 - 3555
  • [6] Assertion-based design exploration of DVS in network processor architectures
    Yu, J
    Wu, W
    Chen, X
    Hsieh, H
    Yang, J
    Balarin, F
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 92 - 97
  • [7] Assertion-Based Optimization of Quantum Programs
    Haener, Thomas
    Hoefler, Torsten
    Troyer, Matthias
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (OOPSLA):
  • [8] Assertion-based verification turns the corner
    Gupta, A
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 2002, 19 (04): : 131 - 131
  • [9] Abstraction in assertion-based test oracles
    Cheon, Yoonsik
    [J]. USIC 2007: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2007, : 410 - 414
  • [10] Integrated, comprehensive assertion-based coverage
    TransEDA
    不详
    不详
    [J]. Electron. Eng. Times, 2006, 1412 (22-25):
12345