-
1
المؤلفون: Dong, Ning
المساهمون: Guanciale, Roberto, Associate professor, Dam, Mads, Professor, 1955, Myreen, Magnus, Professor
المصدر: TRITA-EECS-AVL.
مصطلحات موضوعية: Formal Verification, Information Flow, Refinement, Interactive Theorem Prover, HOL4, Serial Interface, Pipelined Processor, Microarchitecture, Out-of-order Execution, Formell Verifiering, Informationsflöde, Förfining, Interaktiva Bevisprogrammet, Seriellt Gränssnitt, Mikroarkitektur, Omordnad Exekvering, Datalogi, Computer Science
وصف الملف: electronic
URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-341484
https://kth.diva-portal.org/smash/get/diva2:1821827/FULLTEXT01.pdf -
2مورد إلكتروني
مصطلحات الفهرس: Formal Verification, Information Flow, Refinement, Interactive Theorem Prover, HOL4, Serial Interface, Pipelined Processor, Microarchitecture, Out-of-order Execution, Formell Verifiering, Informationsflöde, Förfining, Interaktiva Bevisprogrammet, Seriellt Gränssnitt, Mikroarkitektur, Omordnad Exekvering, Computer Sciences, Datavetenskap (datalogi), Doctoral thesis, comprehensive summary, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-341484
TRITA-EECS-AVL ; 2024:3 -
3مورد إلكتروني
مصطلحات الفهرس: Formal Verification, Information Flow, Refinement, Interactive Theorem Prover, HOL4, Serial Interface, Pipelined Processor, Microarchitecture, Out-of-order Execution, Formell Verifiering, Informationsflöde, Förfining, Interaktiva Bevisprogrammet, Seriellt Gränssnitt, Mikroarkitektur, Omordnad Exekvering, Computer Sciences, Datavetenskap (datalogi), Doctoral thesis, comprehensive summary, info:eu-repo/semantics/doctoralThesis, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-341484
TRITA-EECS-AVL ; 2024:3