Author Archives: Elexhere

Using Xilinx Open Source FPGA Toolchain on Docker Containers

In this post I’ll explore a bit the Open Source toolchain for Xilinx Series 7 FPGAs and will focus the Artix 7. The post will detail how to run the complete flow using Docker containers avoiding local toolchain installs and homogenizing the process for most platforms (Linux, Mac, Windows).

from Pocket
via Did you enjoy this article? Then read the full version from the author’s website.

Guitar Hero Robot Actually Shreds

Once a popular craze, most of the public has sold or stashed away their plastic video game instruments and forgotten the likes of Guitar Hero and Rockband. Having never been quite satisfied with his scores, [Nick O’Hara] set out to create a robot that could play a Guitar Hero controller.

from Pocket
via Did you enjoy this article? Then read the full version from the author’s website.

Getting Started

tmk_keyboard with some useful features for Atmel AVR controllers, and more specifically, the OLKB product line, the ErgoDox EZ keyboard, and the Clueboard product line. It has also been ported to ARM chips using ChibiOS. You can use it to power your own hand-wired or custom keyboard PCB.

from Pocket
via Did you enjoy this article? Then read the full version from the author’s website.

Formal verification

Others have gone here before me, and now it is my turn! Formal verification is a tool for verifying the correctness of your implementation. Traditional verification strategies have relied on hand-crafted testbenches to provide stimuli to the DUT. Formal verification aims to automate that process.

from Pocket
via Did you enjoy this article? Then read the full version from the author’s website.