Hardware/Software Co-Design Using Functional Languages
Abstract elided by the publisher.
Related papers
- MetaMorph - A Formal Methods Toolkit with Application to the Design of Digital Hardware JFP 1992
- A Clash Course in Solving Sudoku (Functional Pearl) Haskell 2025
- Java on 1000 Cores: Tales of Hardware/Software Co-design ECOOP 2009
- SWOOP: software-hardware co-design for non-speculative, execute-ahead, in-order cores PLDI 2018
- Formal verification of high-level synthesis OOPSLA 2021
- Hardware software co-design in Haskell Haskell 2017
- Integrating a functional pattern-based IR into MLIR CC 2021
- Applicative Programming and Digital Design POPL 1984