Sökning: "Verification methods"

Visar resultat 11 - 15 av 405 uppsatser innehållade orden Verification methods.

  1. 11. Materialverifieringsprocess för 3D-printad onyx med jämförelse mellan teoretiskt och empiriskt provresultat

    Master-uppsats, Mälardalens universitet/Akademin för innovation, design och teknik

    Författare :Mattias Feltendal; Erik Niklasson; [2023]
    Nyckelord :Additiv tillverkning; Friformsframställlning; materialverifiering; materialtestning; dragprov; produktutveckling;

    Sammanfattning : In today's rapidly evolving industrial landscape, characterized by intense global marketcompetition, companies must adapt to the latest and most efficient practices to facilitatecontinuous improvement and maintain their competitiveness. Additive Manufacturing (AM) has garnered significant attention in recent years. LÄS MER

  3. 12. Novel Method of ASIC interface IP development using HLS

    Master-uppsats, Lunds universitet/Institutionen för elektro- och informationsteknik

    Författare :Anestis Athanasiadis; Chandranshu Mishra; [2023]
    Nyckelord :High Level Synthesis; HLS; Untimed C ; Control logic; I3C; clock-accurate design; IP development; Technology and Engineering;

    Sammanfattning : High-Level Synthesis(HLS) is a design methodology that enables designers to implement hardware from high-level coding languages, such as C, C++, or System C. It provides designers with the ability to convey their design at a higher level of abstraction, which allows more emphasis on an algorithm and functional aspects of design instead on low-level hardware details. LÄS MER

  4. 13. Automated High-Temperature Pressure Sensor Verification and Characterization

    Master-uppsats, Linköpings universitet/Institutionen för systemteknik

    Författare :Algirdas Bartkevicius; [2023]
    Nyckelord :Pressure sensor; sensor verification; sensor characterization; piezoelectric sensor; dynamic pressure sensor;

    Sammanfattning : Gas turbines are widely used in power generation. Monitoring pressure variations in the combustion chamber allows for real-time assessment of the turbines performance, and can be used to optimize combustion processes, leading to reduced emissions. LÄS MER

  5. 14. Improving the Synthesis of Annotations for Partially Automated Deductive Verification

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Hovig Manjikian; [2023]
    Nyckelord :Formal verification; Automated verification; Contract inference.; Formell verifiering; Automatiserad verifiering; Kontraktgenerering.;

    Sammanfattning : This work investigates possible improvements to an existing annotation inference tool. The tool is part of a toolchain that aims to automate the process of software verification using formal methods. LÄS MER

  7. 15. Formally Verified Remote Attestation Protocols with Strong Authentication

    Master-uppsats, Linköpings universitet/Programvara och system; Linköpings universitet/Tekniska fakulteten

    Författare :Johannes Wilson; [2023]
    Nyckelord :;

    Sammanfattning : Most commodity processors available today provide hardware-supported security extensions. Remote attestation has been declared an important step towards providing security to users through such solutions, yet remote attestation has seen limited deployment in practice. LÄS MER