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 条
  • [11] Special issue on hardware/software co-design
    DeMicheli, G
    PROCEEDINGS OF THE IEEE, 1997, 85 (03) : 347 - 348
  • [12] Special Issue on Low Power Design and Verification Techniques
    Verma, Shireesh
    JOURNAL OF LOW POWER ELECTRONICS, 2011, 7 (01) : 1 - 1
  • [13] Bluespec: A language for hardware design, simulation, synthesis and verification
    Arvind
    FIRST ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2003, : 249 - 251
  • [14] Special issue: modern hardware
    May, Norman
    Blanas, Spyros
    Danica, Porobic
    VLDB JOURNAL, 2024, 33 (06): : 1773 - 1774
  • [15] Special Issue on Hardware Security
    Polian, Ilia
    Tehranipoor, Mohammed
    IET COMPUTERS AND DIGITAL TECHNIQUES, 2014, 8 (06): : 237 - 238
  • [16] Special Issue on Hardware and Security
    Paar, Christof
    Quisquater, Jean-Jacques
    Sunar, Berk
    JOURNAL OF CRYPTOLOGY, 2011, 24 (02) : 245 - 246
  • [17] SPECIAL ISSUE - CAD HARDWARE
    LLEWELYN, AI
    COMPUTER-AIDED DESIGN, 1977, 9 (04) : 222 - 222
  • [18] Special Issue on Evolvable Hardware
    Soft Computing, 2004, 8 : 305 - 306
  • [19] Special issue on evolvable hardware
    Stoica, A
    SOFT COMPUTING, 2004, 8 (05) : 305 - 306
  • [20] Special Issue: Modern Hardware
    Boncz, Peter
    Lehner, Wolfgang
    Neumann, Thomas
    VLDB JOURNAL, 2016, 25 (05): : 623 - 624
12345