Search for dissertations about: "synchronous hardware description"

Found 4 swedish dissertations containing the words synchronous hardware description.

  2. 1. Embedded Languages for Describing and Verifying Hardware

    Author : Koen Lindström Claessen; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; specification languages; formal verification; synchronous hardware description; functional programming; embedded languages;

    Abstract : Lava is a system for designing, specifying, verifying and implementing hardware. It is embedded in the functional programming language Haskell, which means that hardware descriptions are first-class objects in Haskell. READ MORE

  4. 2. Gate Level Description of Synchronous Hardware and Automatic Verification Based on Theorem Proving

    Author : Per Bjesse; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Today's hardware development industry faces enormous problems. The primary reason for this is that the complexity of state-of-the-art hardware devices is growing faster than the capacity of the tools that are used to check that they are correct. READ MORE

  5. 3. Analysis and Synthesis of Boolean Networks

    Author : Ming Liu; Elena Dubrova; Radomir Stankovic; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : In this thesis, we present techniques and algorithms for analysis and synthesis of synchronous Boolean and multiple-valued networks.Synchronous Boolean and multiple-valued networks are a discrete-space discrete-time model of gene regulatory networks. READ MORE

  6. 4. A model-based design approach for heterogeneous NoC-based MPSoCs on FPGA

    Author : Francesco Robino; Johnny Öberg; Shashi Kumar; KTH; []
    Keywords : System-level design; platform-based designembedded systems; field programmable gate arrays; integrated circuit design; integrated circuit modelling; network-on-chip; FPGA; NoC-based MPSoC; Simulink; common semantics domain; dataflow applications; design flow; embedded system; multiprocessor systems; network-on-chip; Computational modeling; Field programmable gate arrays; Mathematical model; Program processors; Prototypes; Semantics; ;

    Abstract : Network-on-chip (NoC) based multi-processor systems-on-chip (MPSoCs) are promising candidates for future multi-processor embedded platforms, which are expected to be composed of hundreds of heterogeneous processing elements (PEs) to potentially provide high performances. However, together with the performances, the systems complexity will increase, and new high level design techniques will be needed to efficiently model, simulate, debug and synthesize them. READ MORE