Sökning: "FPGA implementation"

Visar resultat 21 - 25 av 44 avhandlingar innehållade orden FPGA implementation.

  1. 21. 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

  3. 22. Design of the HIBEAM/NNBAR Calorimeter and Upgrades to the ATLAS Tile Calorimeter Readout Electronics

    Författare :Katherine Dunne; Samuel B. Silverstein; Klas Hultqvist; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Physics; fysik;

    Sammanfattning : The Standard Model has been greatly successful in predicting the laws that govern our universe. Yet there are still seemingly missing pieces to the model. LÄS MER

  4. 23. Deep Learning Side-Channel Attacks on Advanced Encryption Standard

    Författare :Huanyu Wang; Elena Dubrova; Mark Smith; Francesco Regazzoni; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Side-channel attack; Deep learning; Advanced Encryption Standard; Hardware security; Informations- och kommunikationsteknik; Information and Communication Technology;

    Sammanfattning : Side-channel attacks (SCAs) have become one of the most realistic threats to implementations of cryptographic algorithms. By exploiting the nonprime, unintentional physical leakage, such as different amount of power consumed by the device during the execution of the cryptographic algorithm, SCAs are able to bypass the theoretical strength of cryptography and extract the secret key. LÄS MER

  5. 24. Reliability and Performance in Heterogeneous Systems Generated by High-Level Synthesis

    Författare :Mohammad Riazati; Masoud Daneshtalab; Diana Goehringer; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : High-level synthesis (HLS) is now widely used to implement heterogeneous systems. It was invented to enable designers to use high-level languages such as C or C++. It makes it possible for the software developers to move their implementations to an FPGA or ASIC without having to know the hardware details. LÄS MER

  7. 25. Investigation of Architectures for Wireless Visual Sensor Nodes

    Författare :Muhammad Imran; Mattias O'Nils; Bengt Oelmann; Najeem Lawal; Mittuniversitetet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Electronics; Elektronik;

    Sammanfattning : Wireless visual sensor network is an emerging field which has proveduseful in many applications, including industrial control and monitoring,surveillance, environmental monitoring, personal care and the virtual world.Traditional imaging systems used a wired link, centralized network, highprocessing capabilities, unlimited storage and power source. LÄS MER