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