jak ESL dopady současné funkční metody ověřování?

[rama_bing]

Nazdar,
Má někdo mít představu o tom, jak ESL dopady současných funkčních ověřovacích metod (VMM, OVM, atd.)
děkuji ti

 

[ajayj]

ESL je pro zachycení všech různých nástrojů a jazyků.musíte být konkrétnější s vaší otázkou.
pozdravy
Ajay
http://edaindia.com/wiki/esl

 

[ljxpjpjljx]

ESL je způsob, jak poskytnout vám přeložit model C kódu RTL!

 

[rama_bing]

ajayj napsal:

ESL je pro zachycení všech různých nástrojů a jazyků.
musíte být konkrétnější s vaší otázkou.

pozdravy

Ajay

http://edaindia.com/wiki/esl

 

[shastri.vs]

C konverze RTL, je možné, ale kód, který u brát nikdy nebude optimalizována.
Re je nástroj, který nazývá catapultC to.RTL pracuje u souboru, ale nemůže splnit požadavky na design.Dokonce i RTL vytváří nebude v čitelném formátu.So you cant na tom pracovat.
OVM tak či jiných ověřovacích metod se zde zůstat.

 

[aji_vlsi]

rama_bing napsal:ajayj napsal:

ESL je pro zachycení všech různých nástrojů a jazyků.
musíte být konkrétnější s vaší otázkou.

pozdravy

Ajay

http://edaindia.com/wiki/esl

 

[ajayj]

rama_bing napsal:ajayj napsal:

ESL je pro zachycení všech různých nástrojů a jazyků.
musíte být konkrétnější s vaší otázkou.

pozdravy

Ajay

http://edaindia.com/wiki/esl

 

[ajayj]

shastri.vs napsal:

C konverze RTL, je možné, ale kód, který u brát nikdy nebude optimalizována.

Re je nástroj, který nazývá catapultC to.
RTL pracuje u souboru, ale nemůže splnit požadavky na design.
Dokonce i RTL vytváří nebude v čitelném formátu.
So you cant na tom pracovat.

OVM tak či jiných ověřovacích metod se zde zůstat.

 

[shastri.vs]

Vážení ajayj,
Vážím si vaší optimismus.
C RTL musí podstoupit spoustu vylepšení.Bude trvat nějakou dobu se přizpůsobil novému toku.
Ale já pevně věřím, že pro návrh cestu kontrolu tyto nástroje nejsou užitečné.Pro datové cesty its ok.Simulace rychlost je také velmi méně.
Hodně práce se děje, musíme počkat a uvidíme.