uwsampl / churchroad

MIT License
9 stars 1 forks source link

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

Open gussmith23 opened 1 month ago

gussmith23 commented 1 month ago

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 commented 1 month ago

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.)