Follow along with the video below to see how to install our site as a web app on your home screen.
Note: This feature may not be available in some browsers.
Hi thank you for your replyajayj said:ESL is a catch all for different tools and languages. you need to be more specific with your question.
regards
ajay
**broken link removed**
rama_bing said:Hi thank you for your replyajayj said:ESL is a catch all for different tools and languages. you need to be more specific with your question.
regards
ajay
**broken link removed**
my question is
if
1.ESL to RTL(using some tool) is possible
2.formal verification between esl and rtl is also possible..
then functional verification will happen at ESL level by the designer(not at RTL level).
That means.. there will not be the need of vmm/ovm etc. is that a bad sign for verification in future?
Please correct me if I am wrong...
Yes ESL to RTL is possible and is done by almost all ESL compilers.rama_bing said:Hi thank you for your replyajayj said:ESL is a catch all for different tools and languages. you need to be more specific with your question.
regards
ajay
**broken link removed**
my question is
if
1.ESL to RTL(using some tool) is possible
While Formal verification between ESL and RTL is possible I am not aware of any tool which does this. For Commercial formal tools to appear in the market place we would first need a standardization of the ESL languages and the mapping methodology between the ESL code and RTL. As an e.g. take todays equivalence checking tools... They basically breakdown the design to a series of subdesigns where each subdesign is the fanin code of the flop and compare the reference and implementation part of the subdesign In case of ESL tools where there is no hard pipelining defined and the tool inserts registers as per its internal algorithm the above method does not work and some other method has to be found to break the design into more manageable pieces.rama_bing said:2.formal verification between esl and rtl is also possible..
As I see it VMM and OVM are methodologies and not tied to a specific language. So, even if the implementation language changes, There should be no problem verifying it using the same methodologies as now.rama_bing said:then functional verification will happen at ESL level by the designer(not at RTL level).
That means.. there will not be the need of vmm/ovm etc. is that a bad sign for verification in future?
Please correct me if I am wrong...
Shastri,shastri.vs said:C to RTL convertion is possible but the code which u get will never be optimized.
The re is a tool called catapultC which does this. The RTL works file but the u can not meet the design requirements. Even the RTL it generates will not be in readable format. So you cant work on it.
So OVM or other verification methods are here to stay.