Simulation is a coinductive proof technique to assert the behavioral equivalence of computing systems that has seen fruitful application in distributed systems, concurrent process calculi, and programming languages, since the […]
In this work, we develop numerical methods for conservation laws that explore statistical, structure-preserving, and machine-learning-based approaches, each built on top of traditional numerical solvers. First, we develop a general […]
Hardware design flows have become increasingly complex as modern chips integrate billions of transistors and rely on aggressive synthesis optimizations to meet performance, area, and power targets. While these transformations […]