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 条

[1] Special issue on synthesis and verification of hardware design
Sasao, T
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1997, E80D (10) : 973 - 973
[2] SPECIAL ISSUE ON SYNTHESIS AND VERIFICATION OF HARDWARE DESIGN - FOREWORD
YASUURA, H
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1993, E76D (09) : 989 - 990
[3] Introduction to the special issue on verification of arithmetic hardware
German, SM
FORMAL METHODS IN SYSTEM DESIGN, 1999, 14 (01) : 5 - 6
[4] Introduction to the Special Issue on Verification of Arithmetic Hardware
Steven M. German
Formal Methods in System Design, 1999, 14 : 5 - 6
[5] SPECIAL ISSUE ON DIGITAL DESIGN VERIFICATION
EVEKING, H
IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1986, 133 (05): : 241 - 241
[6] Special issue:: Synthesis and verification -: Preface
Edwards, M
Józwiak, L
JOURNAL OF SYSTEMS ARCHITECTURE, 2003, 49 (12-15) : 485 - 487
[7] Special issue on Hardware Verification Workshop (HWVW '10) Preface
Biere, Armin
Yorav, Karen
FORMAL METHODS IN SYSTEM DESIGN, 2011, 39 (02) : 115 - 116
[8] Synthesis and verification of hardware design - Foreword
Yasuura, H
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1996, E79D (10) : 1371 - 1372
[9] Special issue on hardware accelerators for VLSI design
Mahmood, A
VLSI DESIGN, 1996, 4 (02) : R1 - R2
[10] Special issue: Hardware/software design for mobile robots
Czarnecki, C
MICROPROCESSORS AND MICROSYSTEMS, 1998, 21 (06) : 347 - 347

← 1 2 3 4 5 →