Adam J. Chlipala
4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols
Joonwon Choi and others (2022) · Lecture notes in computer science · Springer Science+Business Media
Effective simulation and debugging for a high-level hardware language using software compilers
Clément Pit-Claudel and others (2021)
Modular Deductive Verification of Multiprocessor Hardware Designs
Muralidaran Vijayaraghavan and others (2015) · Lecture notes in computer science · Springer Science+Business Media
Formal Verification of Hardware Synthesis
Thomas Braibant and others (2013) · Lecture notes in computer science · Springer Science+Business Media