Sökning: "Hardware description languages"

Visar resultat 1 - 5 av 8 avhandlingar innehållade orden Hardware description languages.

  1. 1. Embedded Languages for Describing and Verifying Hardware

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

    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

  3. 2. Functional Programming Enabling Flexible Hardware Design at Low Levels of Abstraction

    Författare :Emil Axelsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; wire-awareness; hardware design; functional programming; embedded domain-specific languages;

    Sammanfattning : Continuous down-scaling of sizes in VLSI circuits causes low-level electrical phenomena to become more and more prominent performance stoppers in modern chip technologies. This forces designers to work at a lower level of abstraction than desired in order to gain control over these effects. LÄS MER

  4. 3. Designing a Functional Programming Architecture for the Internet of Things

    Författare :Jeremy Pope; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; High-Level Synthesis; internet of things; Hardware description languages; Architectures; Functional Programming;

    Sammanfattning : As the Internet of Things (IoT) grows, so too do security concerns: as well as typically having access to sensors and actuators, IoT devices are often programmed using bug-prone, low-level languages. Such a combination results in vulnerabilities that pose risks to privacy and safety. LÄS MER

  5. 4. An Evaluation Platform for Semantic Web Technology

    Författare :Cécile Åberg; Nahid Shahmehri; Patrick Lambrix; Lena Strömbäck; Welf Löwe; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Semantic Web; Semantic Web services; service discovery; service description languages; Workflow; evaluation; sButler; OWL-DTP; Computer science; Datavetenskap;

    Sammanfattning : The vision of the Semantic Web aims at enhancing today's Web in order to provide a more efficient and reliable environment for both providers and consumers of Web resources (i.e. information and services). LÄS MER

  7. 5. Building Verified Hardware and Verified Stacks in HOL

    Författare :Andreas Lööw; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis explores building provably correct software and hardware inside the HOL4 interactive theorem prover. Interactive theorem provers such as HOL4 are proof environments where manual (human) and automated (machine) proofs can be composed in logically safe ways, and all proof steps (be it manual or automated) are mechanically checked. LÄS MER