An open API service indexing awesome lists of open source software.

https://github.com/amanley97/pyfilament

Recreation of the Filament HDL for our EECS 700: Intro to Program Synthesis course.
https://github.com/amanley97/pyfilament

filament hdl program-synthesis

Last synced: 7 months ago
JSON representation

Recreation of the Filament HDL for our EECS 700: Intro to Program Synthesis course.

Awesome Lists containing this project

README

          

# program-synthesis-project
Recreation of the Filament HDL for our EECS 700: Intro to Program Synthesis course.

## Building

To build the binary of the project:

```
make
```

For documentation:

```
make docs
```

To run tests:

```
make test
```

To clean up:

```
make clean
```

## Sources

Rachit Nigam, Pedro Amorim, and Adrian Sampson. 2023. Modular Hardware Design with Timeline Types. Proc. ACM Program. Lang. 7, PLDI, Article 120 (June 2023), 25 pages. https://doi.org/10.1145/3591234