Introduction au VHDLCovers VHDL basic concepts, program structure, objects, types, operators, literals, and arrays.
Formally Verified Chisel DesignsExplores formally verifying Chisel designs using SMT solvers and covers examples like delayed assertions and proofs by induction.