Fusion of Thoughts blog

This blog is just to write down some thoughts 😀

My Latest Posts

• • •

  • Proof equivalence of algebraic and geometric definition of dot product
    Table of Contents 1. Proof equivalence of algebraic and geometric definition of dot product 1.1. Observation 1.1.1. Proof 1. Proof equivalence of algebraic and geometric definition of dot product This…More
  • Naive Verilog Test Bench
    1. Example of a naive testbench in verilog Following a dummy example of a basic test bench designed on SV, this example is extracted from the grate UVM primer book…More
  • Proof assistants
    One of the most important skills for any working (and not working) mathematician is the ability of organize, classify and structure human thought, actually this skills are important for any…More

• • •