Ověření pomocí E jazyce

[tiger_shark]

Dobrý den všem,

Mohl by někdo prosím, pomozte mi s ohledem na které software mohu použít k tomu E programování pro ověření design Verilog?Vím, že Spaceman Elite je jedna, ale nezdá se, že demo / bezplatnou verzi nebo ....Je nějaký bezplatný nástroj availabe?Já jsem čtení knihy "Design ověření s E" a já chci udělat své příklady ....Jaké další nástroje, které mohu použít?

Děkuji

Tiger Shark-

 

[rameshsuthapalli]

Dobrý den, Tiger Shark-

Není demo software k dispozici zdarma.ucan ptát v ur College.tak oni mohou koupit s nominální poplatek.
Díky
rameshs

 

[FLEXcertifydll]

Ahoj, mohla U poskytnout nějaké info o tom, které ověření jazyk používaný ve velkém podniku?

 

[spauls]

Systém Verilog pro ověřování a ABV.
SystemC pro modelování architektury,
Specman, Vera pro ověření.