YoVDO

Loop Rerolling for Hardware Decompilation

Offered By: ACM SIGPLAN via YouTube

Tags

Digital Circuits Courses Program Synthesis Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a groundbreaking 19-minute video presentation from PLDI 2023 that introduces the concept of hardware decompilation and focuses on a novel technique called hardware loop rerolling. Delve into the research conducted by Zachary D. Sisco, Jonathan Balkind, Timothy Sherwood, and Ben Hardekopf from the University of California at Santa Barbara, which aims to recover higher-level programming abstractions from low-level netlists. Learn how this technique leverages clone detection and program synthesis to identify repeated logic in netlists and reroll them into syntactic loops in recovered HDL code. Discover the evaluation results across various hardware design benchmarks, demonstrating successful loop identification and rerolling in 52 out of 53 netlists. Gain insights into the practical benefits of hardware decompilation, including HDL transpilation, faster simulation times, and artifact compaction. Access supplementary materials and explore the potential impact of this research on the field of hardware design and analysis.

Syllabus

[PLDI'23] Loop Rerolling for Hardware Decompilation


Taught by

ACM SIGPLAN

Related Courses

Stanford Seminar - Concepts and Questions as Programs
Stanford University via YouTube
DreamCoder- Growing Generalizable, Interpretable Knowledge With Wake-Sleep Bayesian Program Learning
Yannic Kilcher via YouTube
A Neural Network Solves and Generates Mathematics Problems by Program Synthesis - Paper Explained
Aleksa Gordić - The AI Epiphany via YouTube
EI Seminar - Recent Papers in Embodied Intelligence
Massachusetts Institute of Technology via YouTube
Using Program Synthesis to Build Compilers
Simons Institute via YouTube