A Compositional Rule for Hardware Design Refinement
Abstract elided by the publisher.
Related papers
- A Logical View of Composition and Refinement POPL 1991
- Type-directed scheduling of streaming accelerators PLDI 2020
- The essence of Bluespec: a core language for rule-based hardware design PLDI 2020
- Unifying Static and Dynamic Intermediate Languages for Accelerator Generators OOPSLA 2024
- An assume-guarantee rule for checking simulation TOPLAS 2002
- Refinement Type Refutations OOPSLA 2024
- Wire sorts: a language abstraction for safe hardware composition PLDI 2021
- DeepSEA: a language for certified system software OOPSLA 2019