[synthesis-type]
tool=Synplify
[STRATEGY-LIST]
Normal=True, 1385910337