Sökning: "hardware abstraction"

Visar resultat 16 - 20 av 49 uppsatser innehållade orden hardware abstraction.

1. 16. A Specification for Time-Predictable Communication on TDM-based MPSoC Platforms

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

   Författare :Kelun Liu; [2021]
   Nyckelord :Communication; Time-Predictability; Network-on-Chip; Software Specification; Worst-Case Communication Time; Kommunikation; Tid Förutsägbarhet; Nätverk-på-Chip; MjukvaruSpecifikation; Kommunikationstid i Värsta Fall;

   Sammanfattning : Formal System Design (ForSyDe) aims to bring the design of multiprocessor systems-on-chip (MPSoCs) to a higher level of abstraction and bridge the abstraction gap by transformational design refinement. The current research is focused on a correct-by-construction design flow, which requires design space exploration including formal models of computation and timepredictable platforms. LÄS MER

3. 17. MATLAB/Simulink implementation of ForSyDe

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

   Författare :Andrea Silvestro; [2021]
   Nyckelord :;

   Sammanfattning : Nowadays, it is possible to integrate an increasing number of functionalities on a single chip thanks to the state of the art technology in Electronic design automation. However, designing highly complex electronic systems quickly and reliably requires dealing with all such functionalities, which can be difficult as it requires a long and challenging design process because low-level details are necessary to obtain a functional implementation. LÄS MER

4. 18. Coroutines for Simics Device Modeling Language

   Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

   Författare :Love Waern; [2021]
   Nyckelord :;

   Sammanfattning : Coroutines have risen in popularity in modern programming primarily as an abstraction for non-blocking asynchronous logic. One particular domain where this is of interest is full-system hardware architecture simulation, as such systems heavily involve devices that communicate a synchronously. LÄS MER

5. 19. Validation of theoretical cost model for Power and Reliability : Case study of a reliable Central Direct Memory Access system

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

   Författare :Sonal Shrivastava; [2021]
   Nyckelord :Single event upsets; Extra-functional properties; System on Chip; Mean Time Between Failure; Power consumption; Enstaka händelse störs; Extra funktionella egenskaper; System på chip; Medeltid mellan misslyckande; Energiförbrukning;

   Sammanfattning : Safety-critical applications employed in automotive, avionics and aerospace domains are placed under strict demands for performance, power efficiency and fault tolerance. Development of system hardware and software satisfying all criteria is challenging and time-consuming. LÄS MER

7. 20. HAALO : A cloud native hardware accelerator abstraction with low overhead

   Master-uppsats, Luleå tekniska universitet/Datavetenskap

   Författare :Jeremy Facchetti; [2019]
   Nyckelord :cloud; 5g; hardware accelerator; kubernetes; docker; vnf; nfv; cloud native; virtualization;

   Sammanfattning : With the upcoming 5G deployment and the exponentially increasing data transmitted over cellular networks, off the shelf hardware won't provide enough performance to cope with the data being transferred over cellular networks. To tackle that problem, hardware accelerators will be of great support thanks to their better performances and lower energy consumption. LÄS MER