Synthesis techniques in revkit

[nimishalimaye]

I am using Revkit tool to re-synthesize reversible circuits.
I am able to use transformation based synthesis using "spec file" and "tbs" command.
I am able to perform bdd using "embed -b" with "tbs" command (feeding pla file).
And quantum-based synthesis (white dots) using "qbs" command (feeding pla file as input).

However, I am not sure how to perform esop synthesis in revkit. Could you please give me an example? Also, I hoping my above-mentioned commands are right, if not please correct me. Further, I am aware of only these 4 synthesis techniques in revkit. If there are more kindly guide me through it. Sorry for many questions. Thanks in advance.