Esterel EDA

Can I reuse legacy RTL in an Esterel Studio project?

Yes, Esterel Studio has a modular compiler that respects your design structure (modules hierarchy and files partitioning). Compilation options allow you to turn off code generation for a given module when you have its legacy RTL available. Just \'\'link\'\' together Esterel Studio generated code with your existing legacy code.

Furthermore, with Esterel Studio sequential equivalence checker, full sequential equivalence (temporal) between a chunk of Esterel code and some synthesizable RTL can be formally verified.