Sökning: "synchronous hardware description"
Hittade 4 avhandlingar innehållade orden synchronous hardware description.
1. Embedded Languages for Describing and Verifying Hardware
Sammanfattning : 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. LÄS MER
2. Gate Level Description of Synchronous Hardware and Automatic Verification Based on Theorem Proving
Sammanfattning : 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. LÄS MER
3. Analysis and Synthesis of Boolean Networks
Sammanfattning : 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. LÄS MER
4. A model-based design approach for heterogeneous NoC-based MPSoCs on FPGA
Sammanfattning : 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. LÄS MER