+++
title = "Abstract Interpretation of Hardware"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["1c9"]
forwardlinks = []
zettelid = "1c10"
+++

It would be nice to be able to interpret hardware abstractly to compare
it to code that generated it. However, this seems infeasible because at
each iteration the whole hardware gets evaluated, and all the registers
might change again.