Thanks to visit codestin.com
Credit goes to github.com

Skip to content

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

License

Notifications You must be signed in to change notification settings

alexmanle/pyfilament

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

97 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

About

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

Topics

Resources

License

Stars

Watchers

Forks

Contributors 3

  •  
  •  
  •