Browse Senior Theses - Electrical and Computer Engineering by Author "Akgun, Itir"

  • Akgun, Itir (2014-05)
    GoldMine is an automatic assertion generation tool which uses data mining and static analysis techniques on the register-transfer level (RTL) design. The assertions generated from the RTL design are processed through the ...

    application/pdf

    application/pdfPDF (317kB)Restricted to U of Illinois