You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
gussmith23
changed the title
Call out to Lakeroad to attempt to synthesize the PrimitiveInterface.
Call out to Lakeroad to attempt to synthesize the PrimitiveInterfaceJul 10, 2024
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.)
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:
The text was updated successfully, but these errors were encountered: