Essays about: "Hardware Verification"
Showing result 1 - 5 of 102 essays containing the words Hardware Verification.
-
1. Code Synthesis for Heterogeneous Platforms
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Heterogeneous platforms, systems with both general-purpose processors and task-specific hardware, are largely used in industry to increase efficiency, but the heterogeneity also increases the difficulty of design and verification. We often need to wait for the completion of all the modules to know whether the functionality of the design is correct or not, which can cause costly and tedious design iteration cycles. READ MORE
-
2. Novel Method of ASIC interface IP development using HLS
University essay from Lunds universitet/Institutionen för elektro- och informationsteknikAbstract : 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. READ MORE
-
3. Formally Verified Remote Attestation Protocols with Strong Authentication
University essay from Linköpings universitet/Programvara och system; Linköpings universitet/Tekniska fakultetenAbstract : 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. READ MORE
-
4. Modeling, Simulation, and Injection of Camera Images/Video to Automotive Embedded ECU : Image Injection Solution for Hardware-in-the-Loop Testing
University essay from Uppsala universitet/Signaler och systemAbstract : Testing, verification and validation of sensors, components and systems is vital in the early-stage development of new cars with computer-in-the-car architecture. This can be done with the help of the existing technique, hardware-in-the-loop (HIL) testing which, in the close loop testing case, consists of four main parts: Real-Time Simulation Platform, Sensor Simulation PC, Interface Unit (IU), and unit under test which is, for instance, a Vehicle Computing Unit (VCU). READ MORE
-
5. A new approach to identify corner test cases for AD/ADAS functions in a Virtual Environment
University essay from Högskolan i Halmstad/Akademin för informationsteknologiAbstract : The validation of Autonomous Drive (AD) software needs sufficient testing to ensure the safety of autonomous vehicles. Scenario-based testing in a virtual environment provides a platform to detect AD/ ADAS software bugs and fix them early in the software development life cycle. READ MORE