Essays about: "Hardware Verification"

Showing result 31 - 35 of 102 essays containing the words Hardware Verification.

  1. 31. Robust motion control strategies for hydrofoil-equipped naval vessels considering scaling effects.

    University essay from KTH/Skolan för industriell teknik och management (ITM)

    Author : HENRIK STRÖMQVIST; [2019]
    Keywords : ;

    Abstract : Hydrofoil-equipped naval vessels are not new. The technique appeared at the beginning of the 20th century and there are still new developments within the field. READ MORE

  3. 32. Exploration of formal verification in GPU hardware IP

    University essay from Lunds universitet/Institutionen för elektro- och informationsteknik

    Author : Nishant Gupta; [2019]
    Keywords : Formal Verification; JasperGold; Hardware Verification; Technology and Engineering;

    Abstract : 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. READ MORE

  4. 33. Mitigation of inter-domain Policy Violations at Internet eXchange Points

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Muhammad Raheem; [2019]
    Keywords : IXP; Computer Networks; Distributed Systems; SDN; OpenFlow; BGP; Open vSwitch; Security; Firewall; Monitoring; IXP; Datornätverk; Distribuerade System; SDN; OpenFlow; BGP; Open vSwitch; Säkerhet; Brandvägg; Övervakning;

    Abstract : Economic incentives and the need to efficiently deliver Internet have led to the growth of Internet eXchange Points (IXPs), i.e., the interconnection networks through which a multitude of possibly competing network entities connect to each other with the goal of exchanging traffic. READ MORE

  5. 34. Examining the Impact of Microarchitectural Attacks on Microkernels : a study of Meltdown and Spectre

    University essay from Linköpings universitet/Institutionen för datavetenskap

    Author : Gunnar Grimsdal; Patrik Lundgren; [2019]
    Keywords : Genode; Meltdown; Spectre; Nova; Okl4; microarchitectural attacks; microkernel;

    Abstract : Most of today's widely used operating systems are based on a monolithic design and have a very large code size which complicates verification of security-critical applications. One approach to solving this problem is to use a microkernel, i.e., a small kernel which only implements the bare necessities. READ MORE

  6. 35. A Technology Agnostic Approach for Standard-cell Layout Design Automation

    University essay from Lunds universitet/Institutionen för elektro- och informationsteknik

    Author : Tom Johansson; [2019]
    Keywords : IC; automation; standard cell; standard cell design; ASIC; chip; graph theory; SAT; full adder; adder; MUX; layout; schematic; mst; minimum spanning tree; kruskal; pnr; placement; routing; Technology and Engineering;

    Abstract : The logic scaling following Moores law has reached a level where System on Chips (SoCs) commonly contains millions of standard cells. The sheer amount implies that even small optimizations on a standard cell can have a significant effect on the SoC performance. To ensure the performance of standard cells, many of these are hand-drawn. READ MORE