Formal verification

• 
  2026-11-13 TxHDL today: a Rust HDL, its parts, and what runs on it #TxHDL#Rust#RISC-V

  TxHDL is a hardware description language that is a Rust library, and a complete system ready to use. Its standard library holds the parts a system on chip needs: buses, a network on chip, memory, an MMU, Ethernet, video, …