Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Call out to Lakeroad to attempt to synthesize the PrimitiveInterface #85

Open
Tracked by #81
gussmith23 opened this issue Jul 10, 2024 · 1 comment
Open
Tracked by #81

Comments

@gussmith23
Copy link
Owner

gussmith23 commented Jul 10, 2024

Given an egraph with a primitive interface present inside of it, call out to Lakeroad to attempt to synthesize the primtive interface(s).

Probably easier to just start with the following functions:

  1. A function to find instances of primitive interfaces
  2. A function to, for a given instance of a primitive interface, call Lakeroad.
@gussmith23 gussmith23 changed the title Call out to Lakeroad to attempt to synthesize the PrimitiveInterface. Call out to Lakeroad to attempt to synthesize the PrimitiveInterface Jul 10, 2024
@gussmith23
Copy link
Owner Author

In the future, we should allow for an arbitrary Churchroad expression to be compiled to a sketch and sent off to Lakeroad:
#86
for now, though, we can keep this simple, by just having a few hardcoded patterns we're looking for (e.g. a single DSP, which will then use Lakeroad's existing DSP sketch template.)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant