RTL_Notes

Notes I made on RTL design and verification. Currently has verilog, system verilog and formal verification notes

---

Languages

1. Verilog
2. System verilog

---

Techniques

1. Formal verification

---

Tools

1. Yosys