Sökning: "Nishant Gupta"

Hittade 1 uppsats innehållade orden Nishant Gupta.

  1. 1. 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