Entries tagged - "Hardware"
- An Interesting Consequence of Bluespec's One Rule at a Time Semantics Jan 3, 2026
- Graphics Pipelines and GPU Hardware : Lab Notes 1 Sep 11, 2025
- PowerPC Retreat But Not Surrender Feb 12, 2025
- Towards Simulating Verilog With Haskell Dec 14, 2024
- Sunsetting the Fastwave Backend Mar 12, 2024
- Unpacking Challenges from the POWER ISA: Why I'm Exploring RISC-V's Formal Models Jul 2, 2023
- Improving The Bluespec Compiler Jun 1, 2023
- An Interesting SBIR Topic May 13, 2023
- Current Interests / Top Of Mind May 12, 2023
- Taking a look at Clash HDL Nov 10, 2022
- Bluespec. The Rust of Hardware Design? Oct 7, 2022