Configuration

DeSyDe reads the configuration from a .cfg file. A default configuration file (config.cfg) is provide in the repository. In the following we describe the entries in the configuration file.

• input: input file or path. Multiple paths allowed. E.g., inputs=examples/demo_example/sdfs/

• output output path. output=examples/demo_example/

• log-file path to log file. log-file=output.log

• log level. If two options provided, the first one is for stdout, the second for log file. Valid options are CRITICAL, ERROR, WARNING, INFO, and DEBUG. E.g., log-level=INFO

Options related to the design space exploration

• model Specifies the constraint programming model used for exploration. Valid options NONECP, SDF, SDF_PR_ONLINE. E.g., model=SDF_PR_ONLINE

• search Specifies the search type. Valid options NONESEARCH, FIRST, ALL, OPTIMIZE, OPTIMIZE_IT, GIST_ALL, GIST_OPT. E.g., search=ALL

• criteria Specifies the optimization criteria. Valid options NONE, POWER, THROUGHPUT, LATENCY. criteria=POWER

• timeout search timeout. 0 means infinite. If two values are provided, the first one specifies the timeout for the first solution, and the second one for all solutions. E.g., timeout=600000

• luby_scale This option is used to indicate the cut off for Luby sequence when the search type is OPTIMIZE_IT.