forsyde / IDeSyDe

Design space identification and exploration
https://forsyde.github.io/IDeSyDe
4 stars 4 forks source link

Maybe non-issue: exploration always finishes quick #36

Closed BeethovenKodar closed 4 months ago

BeethovenKodar commented 4 months ago

Regardless of which input problem (tc1-tc4) the exploration takes just a few seconds and I wonder if there is some mistake or if the design space is so small that searching it exhaustively is super fast simply

Rojods commented 4 months ago

The design spaces are indeed small @BeethovenKodar ! Because of the discretization that happens when AperiodicAsynchronousDataflowToPartitionedMemoryMappableMulticoreAndPL goes to a CP solver, the design space is actually very small for these cases, GIVEN the actual mathematical model that we have :).