Bifrodie;st: Creating Hardware with Building Blocks
Paper in proceeding, 2023

Domain-specific hardware design has become increasingly attractive as single-Thread performance improvement has drastically slowed down. At the same time, it is clear that traditional hardware design approaches are difficult and error-prone. In this paper we describe a hardware design language, Bifrodie;st, aimed at allowing clear, correct, and modular specification of hardware. Bifrodie;st is tightly integrated into the Thor system, and thus a design in Bifrodie;st can be refined in a correctness-preserving way to a realistic hardware implementation. This paper gives both syntax and semantics of the language, highlights important design decisions, and illustrates its use in several projects. copy; 2023 IEEE.

high-level synthesis (HLS)

Hardware description language (HDL)

handshake protocols

Author

Jeremy Pope

Chalmers, Computer Science and Engineering (Chalmers), Functional Programming

Carl-Johan Seger

Chalmers, Computer Science and Engineering (Chalmers), Functional Programming

Forum on Specification and Design Languages

16369874 (ISSN)

Vol. 2023-September
9798350307375 (ISBN)

2023 Forum on Specification and Design Languages, FDL 2023
Turin, Italy,

Subject Categories

Computer Science

DOI

10.1109/FDL59689.2023.10272129

More information

Latest update

4/23/2024