py4hw is a library to model, and simulate digital logic circuits. It promotes the use of structural and behavioural design styles to build hardware and it is influenced by some ideas behind JHDL.


Keywords
fpga, hardware, hdl, jupyter-notebooks, python, verilog
License
GPL-3.0
Install
pip install py4hw==0.0.7

Documentation

py4hw

PyPI version

py4hw is an HDL library based on python to create digital circuits (mainly) following a structural design methodology. It is highly influenced by some principles used in JHDL but using the power of Python.

When people see Python and HDL in the same sentence they automatically associate it with two ideas:

  1. This is an attempt to generate Verilog from Python code with an HLS approach
  2. This will generate terribly inefficient Verilog

The answer to both questions is NO. py4hw is NOT [yet] intended to be a python HLS tool. It actually starts from a bottom-up approach modelling basic logic gates. In fact, you can generate Verilog code at a very fine-grain.

Features

  • Cycle-based Simulation
  • Clear separation of design styles
    • Structural
    • Behavioural
      • Combinational
      • Sequential (RTL)
      • Algorithmic
  • Schematic Rendering
  • Interactive Simulation
  • Verilog Generation (for Structural, Combinational and Sequential design styles)
  • WaveDrom generation
  • Library of predefined circuits
  • Pypi based distribution
  • Jupyter Notebook integration
  • Integration with edalize
  • Support for existing Hardware platforms (Terasic DE1SoC so far)

Follow the jump start tutorial !

Contributing

Contributors are more than welcome :-)

I've identifyied a number of low-effort aspects that should be done

  • change the use of nbwavedrom by wavedrom
  • correct synchronization of wire names and waveforms in WaveformWindow and support for scrolling, zooming and paning.
  • avoid complete redrawing in interactive workbench

..and other high effort tasks

  • improve the place & route algorithm in the schematic viewer
  • collapse interfaces in the schematic viewer
  • support additional hardware platforms
  • transpile algorithmic into RTL

Publications

Cite as

@conference{castells2023streamlining,
  author       = {David Castells-Rufas and Gemma Rotger and David Novo},
  title        = {Streamlining FPGA Circuit Design and Verification with Python and py4hw},
  booktitle    = {XI Southern Programmable Logic Conference},
  year         = 2023,
  month        = mar,
  address      = {San Luis, Argentina},
  doi          = {10.5281/zenodo.8325670}
}