fazeneo
- A Beginner’s guide to Writing Data Flip Flop in Verilog —
- Writing a simple Lexer —
- Associative and Commutative property of Addition in Coq —
- Modelling and Proving logic gates in Coq —
- Unlocking the Mystery of Coq's Pattern Matching: The Journey Through minustwo —
- Lazy evaluation —
- Sequential Logic —
- Writing a Counter in Verilog —