is used to optimise the sets of expressions (data pass only) by using external synthesis tools. It also returns metadata like delay, power and area for the mapped data object.
- abc does not consider wiring RC during mapping and metadata extraction, the metadata is from the used cells only
- abc and therefore yosys can not handle cells with more than one output like fulladder and therefore will ignore them during mapping
To use it, make sure you have act properly installed and $ACT_HOME is pointing to your install.
Use:
./configure
make depend
make
make install
This library is an addon for the ACT language and core tools (https://github.com/asyncvlsi/act), so they need to be installed, and the tool can not be built without them.
The library requires you to have yosys (https://github.com/cliffordwolf/yosys.git) and abc (https://github.com/berkeley-abc/abc) and sed (check you package manager) installed on your system and the excutables to be in your $path during runtime use.
For commercial synthesis, check the exproptcommercial library (closed source because tool APIs are under NDA). It will be automatically picked up if installed on your system as a shared library.
For the example to run, you need some library files. They are installed when you install chp2prs from the sdtcore branch (not yet in master) on your system. https://github.com/asyncvlsi/chp2prs
The automated tests use the example program to test the API.
Have a peek at the header file for descriptions of the functions.
Your header will be installed in $ACT_HOME/include/act/expropt.h and the static library in $ACT_HOME/lib/expropt.a.
The sample config will be installed in the $ACT_HOME/config folder.
If you want to see how to use it, check the folder example, which contains a program that extracts expr out of chp. Use the makefile in the folder to build the example.