Exploring Zynq MPSoc – free book

This book introduces the Zynq® MPSoC (Multi-Processor System-on-Chip), an embedded device from Xilinx® that combines a processing system that includes Arm® Cortex®-A53 application and Arm Cortex-R5 real-time processors, alongside FPGA programmable logic.

The book covers the architecture of the device, the design tools and methods, conventional hardware/software co-design approach, and the newer software-defined methodology, as well as hardware and software development, multiprocessing, safety, security and platform management, system booting, and  special features on PYNQ (a Python-based framework)  and machine learning applications.

This book should serve as a useful guide for those getting starting with, and the working with Zynq MPSoC, and equally as a reference for technical managers wishing to gain familiarity with the device and its associated design methodologies.

Continue reading “Exploring Zynq MPSoc – free book”

Prototypical – FPGA prototyping free book

Making FPGA prototyping part of the design process early means actually thinking about how the design will be prototyped via an FPGA

In Prototypical – The Emergence of FPGA prototyping for SoC Design book, the authors tell the history of FPGA-based prototyping and three leading system providers – S2C, Cadence, and Synopsys.

First, the book describes how the need for co-verification evolved with chip complexity, where FPGAs got their start in verification, and why ASIC design benefits from prototyping technology.

Continue reading “Prototypical – FPGA prototyping free book”

Finding Your Way Through 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 activity as a part of a larger verification objective.

Continue reading “Finding Your Way Through 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 the mathematical derivations that transform these principles into practical algorithms. Following a presentation of the basics, the book covers a wide array of central topics unaddressed by previous textbooks. These include a discussion of the computational complexity of learning and the concepts of convexity and stability; important algorithmic paradigms including stochastic gradient descent, neural networks, and structured output learning; and emerging theoretical concepts such as the PAC-Bayes approach and compression-based bounds.

Continue reading “Understanding Machine Learning – free book”

The Zynq book – free pdf

The Zynq Book is dedicated to the Xilinx Zynq-7000 System on Chip (SoC) from Xilinx.

The Zynq Book is the first book about Zynq to be written in the English language. It has been produced by a team of authors from the University of Strathclyde, Glasgow, UK, with the support of Xilinx. The book is intended for people just starting out with Zynq, and engineers already working with Zynq.

Continue reading “The Zynq book – free pdf”

FPGA for dummies – free book

f you are completely new to FPGAs, or if you want a refreshingly high-level view of what FPGAs are and what are the future trends in the field, you can download this free book from the Intel PSG site:

FPGA for dummies

The book is an all-text introduction to this exciting field, do not expect to find real examples nor VHDL code in the book.