Hardware description language

Results: 134



#Item
1Hardware Description Language Based on Message Passing and Implicit Pipelining Dmitri Boulytchev Oleg Medvedev

Hardware Description Language Based on Message Passing and Implicit Pipelining Dmitri Boulytchev Oleg Medvedev

Add to Reading List

Source URL: oops.math.spbu.ru

- Date: 2015-07-26 07:27:16
    2Building Models of Real-Time Systems from Application Software JOSEPH SIFAKIS, STAVROS TRIPAKIS, ASSOCIATE MEMBER, IEEE, AND SERGIO YOVINE Invited Paper  We present a methodology for building timed models of real-time

    Building Models of Real-Time Systems from Application Software JOSEPH SIFAKIS, STAVROS TRIPAKIS, ASSOCIATE MEMBER, IEEE, AND SERGIO YOVINE Invited Paper We present a methodology for building timed models of real-time

    Add to Reading List

    Source URL: www-verimag.imag.fr

    Language: English - Date: 2012-12-31 04:25:32
    3Electronic Communications of the EASST VolumeProceedings of the Workshop on OCL and Textual Modelling (OCL 2011)

    Electronic Communications of the EASST VolumeProceedings of the Workshop on OCL and Textual Modelling (OCL 2011)

    Add to Reading List

    Source URL: gres.uoc.edu

    Language: English - Date: 2011-06-14 18:01:44
    4Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Higher-Level Techniques for Hardware Description and Synthesis Alan Mycroft, Richard Sharp

    Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Higher-Level Techniques for Hardware Description and Synthesis Alan Mycroft, Richard Sharp

    Add to Reading List

    Source URL: rich.recoil.org

    Language: English - Date: 2006-04-13 14:58:02
    5P4FPGA: High Level Synthesis for Networking Han Wang, Ki Suh Lee, Vishal Shrivastav, Hakim Weatherspoon Cornell University 1  Introduction

    P4FPGA: High Level Synthesis for Networking Han Wang, Ki Suh Lee, Vishal Shrivastav, Hakim Weatherspoon Cornell University 1 Introduction

    Add to Reading List

    Source URL: conferences.sigcomm.org

    Language: English - Date: 2016-08-02 16:10:05
    6Hardware Design and Functional Programming: Still Interesting after All These Years

    Hardware Design and Functional Programming: Still Interesting after All These Years

    Add to Reading List

    Source URL: www.icfpconference.org

    Language: English - Date: 2015-09-06 18:17:06
    7The Elements of Computing Systems

    The Elements of Computing Systems

    Add to Reading List

    Source URL: nand2tetris.org

    Language: English - Date: 2012-07-23 06:34:24
    8Recommendations for Hardware Evaluation of Cryptographic Algorithms Frank K. Gürkaynak, Peter Luethi Integrated Systems Laboratory, ETH Zurich CH-8092 Switzerland Abstract. At the SASC 2006 three papers on hardware impl

    Recommendations for Hardware Evaluation of Cryptographic Algorithms Frank K. Gürkaynak, Peter Luethi Integrated Systems Laboratory, ETH Zurich CH-8092 Switzerland Abstract. At the SASC 2006 three papers on hardware impl

    Add to Reading List

    Source URL: www.ecrypt.eu.org

    Language: English - Date: 2006-02-17 04:36:19
    91  Yosys Application Note 010: Converting Verilog to BLIF Clifford Wolf November 2013

    1 Yosys Application Note 010: Converting Verilog to BLIF Clifford Wolf November 2013

    Add to Reading List

    Source URL: www.clifford.at

    Language: English - Date: 2015-02-09 07:25:25