An environment of approximate logic synthesis, including C++ tools and Synopsys software.