Introduction to Verilog

This blog motto is FPGA projects in VHDL. It also includes free VHDL books. But, in a past comment on Hacker News I saw this nice Verilog short guide and I knew I have to share it here. Besides, the FPGA world is evolving. In my experience, it is not enough to know one manufacturer. You may need more. … Continue reading Introduction to Verilog


Formal Verification free book

"Finding Your Way Through Formal Verification provides an introduction to formal verification methods. This book was written as a way to dip a toe in formal waters. You may be curious about formal verification, but you’re not yet sure it is right for your needs. Or you may need to plan and supervise formal verification … Continue reading Formal Verification free book

Understanding Machine Learning – free book

Machine learning is one of the fastest growing areas of computer science, with far-reaching applications. The aim of the textbook is to introduce machine learning, and the algorithmic paradigms it offers, in a principled way. The book, "Understanding Machine Learning: From theory to Algorithms", provides a theoretical account of the fundamentals underlying machine learning and … Continue reading Understanding Machine Learning – free book