Re: difference between behavioual synthesis and logic synthe
Brief answers:
Behavioral synthesis transforms algorithmic behavioral descriptions into FSMD (finite state machine with datapath) structural descriptions. Logic synthesis transforms FSMDs into transistor level technology dependent (usually) netlists. Synplify, Leonardo, DC and the rest perform logic synthesis. CatapultC, BC, Celoxica (to name just a few) perform behavioral synthesis. Logic synthesis is more mature while behavioral synthesis has still a big obstacle to overcome, the fact that designers are not used in describing their designs in higher abstraction levels and letting automated transformations act uninterrupted.
For more details, see the above sources!