SPECIAL ISSUE ON SYNTHESIS AND VERIFICATION OF HARDWARE DESIGN

被引：0
|
作者：
YASUURA, H
机构：
来源：
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS | 1995年 / E78D卷 / 03期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：197 / 198
页数：2
相关论文
共 50 条
  • [31] J. UCS special issue on tools for system design and verification
    Berghammer, R
    Haneberg, D
    Reif, W
    Schellhorn, G
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (02): : 86 - 87
  • [32] Hardware design and simulation for verification
    Bombieri, Nicola
    Fummi, Franco
    Pravadelli, Graziano
    FORMAL METHODS FOR HARDWARE VERIFICATION, 2006, 3965 : 1 - 29
  • [33] SPECIAL ISSUE ON NEURAL NETWORK HARDWARE
    SANCHEZSINENCIO, E
    NEWCOMB, RW
    IEEE TRANSACTIONS ON NEURAL NETWORKS, 1992, 3 (03): : 345 - 346
  • [34] Special Issue on Hardware Implementations - Preface
    Newcomb, RW
    Sanchez-Sinencio, E
    El-Leithy, N
    IEEE TRANSACTIONS ON NEURAL NETWORKS, 2003, 14 (05): : 973 - 973
  • [35] Introduction to the Special Issue on Design for Testability and Reliability of Security-aware Hardware
    Ni, Tianming
    Wen, Xiaoqing
    Amrouch, Hussam
    Zhuo, Cheng
    Song, Peilin
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2024, 29 (01)
  • [36] Special Issue: Special Issue on Joint Design
    da Silva, Lucas F. M.
    Oechsner, Andreas
    INTERNATIONAL JOURNAL OF ADHESION AND ADHESIVES, 2010, 30 (05) : 255 - 256
  • [37] Special Issue: Special Issue: Design and Emotion
    Desmet, Pieter M. A.
    Stappers, Pieter Jan
    CODESIGN-INTERNATIONAL JOURNAL OF COCREATION IN DESIGN AND THE ARTS, 2011, 7 (02): : 61 - 64
  • [38] Special Issue: "Rational Design and Synthesis of Bioactive Molecules"
    Kostova, Irena
    INTERNATIONAL JOURNAL OF MOLECULAR SCIENCES, 2024, 25 (18)
  • [39] Introduction to the Special Issue on Runtime Verification
    Lu Feng
    Dana Fisman
    International Journal on Software Tools for Technology Transfer, 2023, 25 : 519 - 520
  • [40] Introduction to the special issue on runtime verification
    Yliès Falcone
    César Sánchez
    Formal Methods in System Design, 2018, 53 : 1 - 5
12345