此文档讲述了综合工具synplifyPro如何使用，并且给出了一个例子。