zmod

PYNQ enabled Genesys ZU Open Source Instrument, based on Pavel Demin's Red Pitaya Notes workflow.

The design for a FMC adapter. Common for many FPGA boards, this Mezzanine Card allows you to connect 2 ZMOD adapters. For example for connecting the Zmod ADC 1410 and Zmod DAC 1411 SYZYGY modules.

Exhaust Fan Mod for AD5x Running ZMod

This repository include all the codes and constraints used in the development of the Master Thesis: "Development of a Differential Absorption Lidar System based on a SoC-FPGA for Carbon Dioxide Sensing" by Victor Ricardo Aguilera Sanchez

Notes on the Genesys ZU Open Source Instrument. This is a port of Pavel Demin's Red Pitaya Notes.

Plugin for ZMOD and AD5X

Lean 4 formalization of ord_{2^t}(3) = 2^{t-2} and supporting lemmas for Collatz analysis