Resynth: circuit resynthesis by parts


Fully functional version of Resynth can be downloaded here free of charge.

Minimum Requirements

  • x86 compatible CPU
  • Memory requirements depend on the processed problem size

License Agreement

This Software is available as freeware. It is available for use by end users. Distributing, renting or selling the Software or any of its parts to third parties is strictly prohibited. You may modify the Software only within your corporation or organization.
The author of the program, as well as the Czech Techincal University in Prague, will not be responsible for any damages of any kind associated with the use, misuse or distribution of this Software.


If you'll publish results obtained by this tool, you should mention one of the following papers in the References:
  • P. Fišer and J. Schmidt, "It Is Better to Run Iterative Resynthesis on Parts of the Circuit", Proc. of 19th International Workshop on Logic and Synthesis 2010 (IWLS'10), Irvine, California (USA), 18.-20.6.2010, pp. 17-24
  • P. Fišer and J. Schmidt, "Improving the Iterative Power of Resynthesis", Proc. of 15th IEEE Symposium on Design and Diagnostics of Electronic Systems (DDECS'12), Tallinn (Estonia), 18.-20.4.2012, pp. 30-33

Before downloading Resynth for the first time, please fill in this form. This will enable you to be informed about all news about Resynth by e-mail.


Inform me about news


Download and installation instructions

1. download the executable (available for Windows and Linux)

Download Resynth 3.2 for Windows executable
Download Resynth 3.2 for Linux binary
The sourcecodes are available upon request.

2. Download the resynthesis scripts (common for both platforms)

Download the supporting files

3. Install SIS, ABC, or any resynthesis tool you want to use

Berkeley CAD software
ABC - Logic Synthesis Package from Berkeley

4. Unpack the binaries and scripts into one directory

Be sure that the selected resynthesis tool (SIS, ABC, ...) can be executed from the working directory


Please, send any comments and bug reports to