The productivity gap incurred by the rising complexity of the system-on-chip design have
necessitated newer design paradigms to be introduced based on system-level design
languages. A gating factors for widespread adoption of these new paradigms is a lack of
formal tool support of fefinement based design. A system level representation may be
refined manually (in absence of adequate behavior synthesis algorithms and tools) to obtain
an implementation, but proving that the lower level representation preserves the correctness …