Avancerad sökning

Visar resultat 1 - 5 av 10 uppsatser som matchar ovanstående sökkriterier.

1. 1. Investigating Machine Learning for verification of AMBA APB protocol.

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

   Författare :Abhiram Srisai Kishore; Mohammed Wasim; [2022]
   Nyckelord :Machine learning; SOC Verification; AMBA; Neural Networks; Deep Learning; Assertions.; Technology and Engineering;

   Sammanfattning : It is a well-known fact that in any Application Specific Integrated Circuit (ASIC) design, verification consumes most time and resources. And when it comes to huge designs, finding bugs can be tedious given the area and the complexity. As per Moore’s law, the design complexity is increasing exponentially due to the growing demand for performance. LÄS MER

3. 2. Validation of efficiency of formal verification methodology for verification closure

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

   Författare :Gautham Prabhakar; [2022]
   Nyckelord :UVM; formal verification; assertions; verification engineers; SVA; TLV; jasper gold; UVM; formell verifiering; assertions; verifierar; SVA; TLV; jasper gold;

   Sammanfattning : Application Specific Integrated Circuits (ASIC) and Field Programmable Gate Arrays (FPGA) verification is quite a time consuming phase in design flow cycle and it can be done using methodologies such as Universal Verification Methodology (UVM) and formal verification.The UVM methodology is simulation based verification where in the verifier will have to trigger the Design Under Test (DUT) manually by writing sequences which target different features of the DUT and the verification environment can also have verification directives such as assertions to spot design bugs. LÄS MER

4. 3. Energy efficient Ericsson Many-Core Architecture (EMCA) IP blocks for 5G ASIC

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

   Författare :Zilin Zhang; [2021]
   Nyckelord :Technology and Engineering;

   Sammanfattning : Power consumption has become a leading concern for SoC aimed at 5G products that demand increased functionality, smaller form factors, and low energy footprint. For some EMCA IP blocks a hierarchical clock gating mechanism ensures coarse-grained power savings based on actual processing need but for many blocks this approach cannot be employed. LÄS MER

5. 4. Exploration of formal verification in GPU hardware IP

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

   Författare :Nishant Gupta; [2019]
   Nyckelord :Formal Verification; JasperGold; Hardware Verification; Technology and Engineering;

   Sammanfattning : Today, digital circuits are part of every ones daily life in form of mobile phones, computers, television, smart cards etc. The advent of new technologies such as internet of things, 5G etc. are continuously making the digital circuits more and more complex in design. LÄS MER

7. 5. Nanotechnology Start-ups - Intellectual Property for Generating Value

   Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för ekonomi, teknik och samhälle

   Författare :Amanda Hellström; Sara Nilsson; [2018]
   Nyckelord :nanotechnology; start-up; intellectual property; management; innovation; strategic value; financial value; formal IP; informal IP;

   Sammanfattning : Purpose – The purpose of this thesis was to increase the understanding of how formal and informal intellectual property may affect value generation of strategic and financial values within the nanotechnology start-up sector. Method – This study had an inductive approach through a qualitative multi-case study. LÄS MER