new synthesis script for Cadence Conformal LEC
Merge remote-tracking branch 'upstream/master'
added synthesis script for Synopsys Design Compiler
Merge remote-tracking branch 'upstream/master'
cleaned up syn_lec.sh
cleanup
Merge pull request #1 from hansiglaser/master

LEC and DC