Hardware Emulation

Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electronic design. Assertions are statements used to describe properties of the design (I.e., design intent), that can be included to actively check correctness throughout the design cycle and even the lifecycle of the product. With the appearance of two new languages, PSL and SVA, assertions have already started to improve verification quality and productivity.

Embedded System Accelerators with Vitis and HLS

'Flavor' is a Virtual Hardware Emulation and Tone Box four years in the making. Utilizing the same technology as similar products but with far more flexibility and hardware emulations.

This book describes in detail all required technologies and methodologies needed to create a comprehensive, functional design verification strategy and environment to tackle the toughest job of guaranteeing first-pass working silicon. The author first outlines all of the verification sub-fields at a high level, with just enough depth to allow an engineer to grasp the field before delving into its detail.

Learn to configure a Raspberry Pi into multiple different devices capable of playing retro games. Beyond theory, this book focuses heavily on projects—such as making a console to attach to a TV or computer display and making a tabletop arcade machine. It also teaches you how to install and use the Kodi media center on your retro game player.