per il verplex

[bhneclzh]

Ciao, a tutti,
Sto cercando lo strumento di verifica formale, si dice che il verplex è un buono strumento per la verifica formale, che può dirmi dove posso scaricare la versione del software di valutazione.
Grazie!

 

[wicho]

Ero alla ricerca per un lungo tempo.

Ma non ho capito.<img src="http://www.edaboard.com/images/smiles/icon_sad.gif" alt="Triste" border="0" />

 

[aramis]

bhneclzh ha scritto:

Ciao, a tutti,

Sto cercando lo strumento di verifica formale, si dice che il verplex è un buono strumento per la verifica formale, che può dirmi dove posso scaricare la versione del software di valutazione.

Grazie!

 

[Corgan]

Il non prevedono la valutazione per gli individui, ma di garantire una valutazione per
Corporation.Dovete contattare le loro vendite per informazioni dettagliate.

 

[armer]

Dispone la versione di Windows?

 

[mami_hacky]

È possibile utilizzare Synopsys formalità, invece?

 

[Lipton]

Verplex è il nome della società, quale strumento esattamente stai parlando?

 

[papertiger]

LEC

 

[JY]

Quale piattaforma è Verplex?
Che facile da usare Verplex o formalità?

 

[joe2moon]

Per l'ultima versione, sia GUI (LEC e formalità) sono molto simili.
(user-friendly)

ps:
Il supporto della piattaforma di Conformal LEC:
Solaris, Linux
Per ulteriori informazioni: h ** p: / / www.verplex.c0m/products/lec_brochure_2.html

BTW, Synopsys Sistemi operativi supportati
h ** p: / / www.synopsys.c0m/products/platforms/opsys.html

 

[chinkooi]

JY ha scritto:

Quale piattaforma è Verplex?

Che facile da usare Verplex o formalità?

 

[spauls]

è possibile utilizzare verplex in Linux, Unix.
Verplex è molto meglio di formalità.