YoVDO

The Morello ISA Semantics, Proof, and Test Generation

Offered By: ACM SIGPLAN via YouTube

Tags

Computer Architecture Courses Instruction Set Architecture Courses Semantics Courses CHERI Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

中级汉语语法 | Intermediate Chinese Grammar
Peking University via edX Miracles of Human Language: An Introduction to Linguistics
Leiden University via Coursera Introduction to Natural Language Processing
University of Michigan via Coursera Linguaggio, identità di genere e lingua italiana
Ca' Foscari University of Venice via EduOpen Natural Language Processing
Indian Institute of Technology, Kharagpur via Swayam