In this paper we will illustrate the essential elements of a five step refinement flow. The first four steps in the flow have been realized in TSMC’s Reference Flow 11 and work is ongoing for reference flow 12. We will briefly show results from reference flow 11 and discuss the work underway for reference flow 12.
A stepwise refinement and reuse flow is necessary to realize the complete benefits of ESL. It preserves each subsequent modeling investment through the transformation and verification of transaction-level models from their initial highly abstracted representation to fully verified RTL. It utilizes transaction-level models as reference models during RTL verification and reuses the initial TLM platform as a “system level testbench” for downstream implementations.