SpecC
is better
– Higher abstraction and stronger expression power from the specifier’s
side
–The synthesis tools have a much easier task of
analyzing and understanding the specification, where it is hard to differentiate
the code used for specification from the code used for simulation.