Teaching hardware description and verification

被引：3
|
作者：
Axelsson, E [1 ]
Björk, M [1 ]
Sheeran, M [1 ]
机构：
[1] Chalmers Univ Technol, Dept Comp Sci & Engn, S-41296 Gothenburg, Sweden
来源：
2005 IEEE International Conference on Microelectronic Systems Education, Proceedings | 2005年
关键词：
D O I：
10.1109/MSE.2005.55
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：119 / 120
页数：2
相关论文
共 50 条
  • [1] The verification and simulation of hardware description language
    Wang, Y
    Zhang, WJ
    Lu, P
    [J]. ICEMI'2001: FIFTH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT AND INSTRUMENTS, VOL 1, CONFERENCE PROCEEDINGS, 2001, : 356 - 360
  • [2] THE FORMAL DESCRIPTION AND VERIFICATION OF HARDWARE TIMING
    MILNE, GJ
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1991, 40 (07) : 811 - 826
  • [3] Hardware acceleration and verification of systems designed with hardware description languages (HDL)
    Wisniewski, R
    Wegrzyn, M
    [J]. PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS III, 2005, 5775 : 365 - 376
  • [4] Algorithms for logical control: Their description, verification and hardware implementation
    Zakrevskij, AD
    Zakrevski, L
    [J]. PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 712 - 718
  • [5] A multilevel approach to teaching hardware description languages
    Armstrong, J
    [J]. 1997 IEEE INTERNATIONAL CONFERENCE ON MICROELECTRONIC SYSTEMS EDUCATION - MSE'97, PROCEEDINGS: DOING MORE WITH LESS IN A RAPIDLY CHANGING ENVIRONMENT, 1997, : 5 - 6
  • [6] Extensible Embedded Hardware Description Languages with Compilation, Simulation and Verification
    Tahir, Omar
    Luk, Wayne
    Wu, Nicolas
    [J]. THE PROCEEDINGS OF THE 13TH INTERNATIONAL SYMPOSIUM ON HIGHLY EFFICIENT ACCELERATORS AND RECONFIGURABLE TECHNOLOGIES, HEART 2023, 2023, : 1 - 10
  • [7] TEMPORAL LOGIC BASED HARDWARE DESCRIPTION AND ITS VERIFICATION WITH PROLOG
    FUJITA, M
    TANAKA, H
    MOTOOKA, T
    [J]. NEW GENERATION COMPUTING, 1983, 1 (02) : 195 - 203
  • [8] Teaching hardware description languages to satisfy industry expectations
    Greenwood, Garrison W.
    [J]. INTERNATIONAL JOURNAL OF ELECTRICAL ENGINEERING EDUCATION, 2009, 46 (03) : 239 - 247
  • [9] THE USE OF CONLAN IN FORMAL SYNTACTIC AND SEMANTIC VERIFICATION OF HARDWARE DESCRIPTION LANGUAGES
    CABODI, G
    CAMURATI, P
    PRINETTO, P
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1985, 16 (2-3): : 196 - 196
  • [10] On the use of hardware description languages in teaching VLSI design courses
    Sagahyroon, A
    Massoumi, M
    [J]. FRONTIERS IN EDUCATION FIE'96 - 26TH ANNUAL CONFERENCE, PROCEEDINGS, VOLS 1-3: TECHNOLOGY-BASED RE-ENGINEERING ENGINEERING EDUCATION, 1996, : 713 - 716
12345