The Morello ISA Semantics, Proof, and Test Generation
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
Explore the Morello ISA semantics, proof techniques, and test generation methods in this 16-minute conference talk presented by Thomas Bauereiss and Brian Campbell at POCL'24. Gain insights into the latest developments in instruction set architecture (ISA) semantics, formal verification approaches, and automated test case generation for the Morello architecture. Delve into the challenges and solutions associated with ensuring correctness and reliability in modern processor designs.
Syllabus
[POCL'24] The Morello ISA semantics, proof, and test generation
Taught by
ACM SIGPLAN
Related Courses
Computer ArchitecturePrinceton University via Coursera Introduction to Computer Architecture
Carnegie Mellon University via Independent Build a Modern Computer from First Principles: From Nand to Tetris (Project-Centered Course)
Hebrew University of Jerusalem via Coursera 计算机系统基础(一) :程序的表示、转换与链接
Nanjing University via Coursera Computer Architecture
Indian Institute of Technology Madras via Swayam