The complexities of modern electronic circuits ("chips") demand powerful tools for design. A key prerequisite is a high-level language in which to express not only designs themselves, but also their models and their testbenches. During design and verification, these need to run much faster than software simulation is capable of, and must therefore be fully synthesizable to run on the only platforms capable of delivering this speed -- FPGAs and emulation. BSV is the only language that meets these requirements (alas, C++ falls woefully short ). This book is a gentle tutorial for learning BSV through a series of small examples, focusing on just one feature at a time. All examples, with full source code, are fully synthesizable and executable.