google / autopiper Goto Github PK

Autopiper is a pipeline synthesis tool that understands high-level constructs and allows for automatic pipelining and automatic inference of low-level microarchitectural 'plumbing' in RTL (Verilog). It has well-defined semantics that allow for easier reasoning about digital systems at the level of functional state, and allow leeway for formal transforms to produce correct high-performance implementations.

Autopiper is a research project -- this may or may not work! -- and is intended for now more as a developed-in-the-open toy than a serious tool.

Autopiper is developed by Chris Fallin <[email protected]>. Autopiper's copyright is assigned to Google Inc., but autopiper is an independent side-project and is not an official Google product in any way.

The pipeline lowering / synthesis backend (IR to Verilog) has implemented the key transforms, and works with small tests. Currently the frontend is in development (parsing, typechecking/inference, codegen), after which the macro layer will be developed alongside some larger test designs.

In other words: it's not actually done yet! You can play with the current functionality, i.e., lowering IR to pipeline form, by running autopiper on the IR inputs in tests/.

Autopiper requires CMake, the Boost C++ libraries, and GMP (an arbitrary-precision numeric library).

On Ubuntu:

$ sudo apt-get install cmake libboost-dev libgmp-dev

On Arch Linux:

$ sudo pacman -Syu cmake boost gmp

Then create a build directory and compile the application:

$ mkdir build/ $ cd build/ $ cmake .. $ make $ src/autopiper --help