A MULTILEVEL HARDWARE DESCRIPTION LANGUAGE

被引：0
|
作者：
GAI, S
LIOY, A
机构：
[1] POLITECN TORINO,CTR ELABORAZ NUMERALE SEGNALI,I-10129 TORINO,ITALY
[2] POLITECN TORINO,DIPARTIMENTO AUTOMAT & INFORMAT,I-10129 TORINO,ITALY
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1989年 / 25卷 / 1-5期
关键词：
D O I：
10.1016/0165-6074(89)90193-2
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：183 / 187
页数：5
相关论文
共 50 条
  • [21] THE VHSIC HARDWARE DESCRIPTION LANGUAGE - A GLIMPSE OF THE FUTURE
    WAXMAN, R
    IEEE DESIGN & TEST OF COMPUTERS, 1986, 3 (02): : 10 - 11
  • [22] On embedding a hardware description language in Isabelle/HOL
    Wilayat Khan
    David Sanan
    Zhe Hou
    Liu Yang
    Design Automation for Embedded Systems, 2019, 23 : 123 - 151
  • [23] On embedding a hardware description language in Isabelle/HOL
    Khan, Wilayat
    Sanan, David
    Hou, Zhe
    Yang, Liu
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2019, 23 (3-4) : 123 - 151
  • [24] Formal support for the ELLA hardware description language
    Barringer, H
    Gough, G
    Monahan, B
    Williams, A
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1995, 987 : 225 - 245
  • [25] STRUCTURE SPECIFICATION WITH A PROCEDURAL HARDWARE DESCRIPTION LANGUAGE
    HILL, FJ
    SWANSON, RE
    MASUD, M
    NAVABI, Z
    IEEE TRANSACTIONS ON COMPUTERS, 1981, 30 (02) : 157 - 161
  • [26] INTRODUCTION TO A FORMALLY DEFINED HARDWARE DESCRIPTION LANGUAGE
    BROCK, BC
    HUNT, WA
    YOUNG, WD
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 10 : 3 - 35
  • [27] ASystemC: An AOP Extension for Hardware Description Language
    Endoh, Yusuke
    AOSD 2011 PROCEEDINGS AND COMPANION MATERIAL, 2011, : 19 - 28
  • [28] Hardware Description Language Enhancements for High Level Synthesis of Hardware Accelerators
    Kasivinayagam, Gurusankar
    Skanda, Romaanchan
    Burli, Aditya G.
    Jadon, Shruti
    Sidhu, Reetinder
    ADVANCES IN COMPUTING AND DATA SCIENCES (ICACDS 2022), PT I, 2022, 1613 : 1 - 12
  • [29] An animatable operational semantics of the Verilog Hardware Description Language
    Bowen, JP
    He, JF
    Xu, QW
    ICFEM 2000: THIRD INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 2000, : 199 - 207
  • [30] HARDWARE DESCRIPTION LANGUAGE FOR SPECIFICATION OF DIGITAL-SYSTEMS
    CSOPAKI, G
    MICROPROCESSING AND MICROPROGRAMMING, 1989, 25 (1-5): : 151 - 155
12345