R
repac
Guest
Verifica affermazione di base è la tendenza.
Ma, quale lingua si deve usare?
PSL?o altri?
Sembra solo cadenza ncsim supporta PSL simulazione dinamica e alcuni strumenti di supporto beta PSL statica verificatoin formale.
Dobbiamo integrare nel nostro PSL verifica flusso adesso?<img src="http://www.edaboard.com/images/smiles/icon_eek.gif" alt="Shocked" border="0" /><img src="http://www.edaboard.com/images/smiles/icon_question.gif" alt="Domanda" border="0" /><img src="http://www.edaboard.com/images/smiles/icon_question.gif" alt="Domanda" border="0" />
Ma, quale lingua si deve usare?
PSL?o altri?
Sembra solo cadenza ncsim supporta PSL simulazione dinamica e alcuni strumenti di supporto beta PSL statica verificatoin formale.
Dobbiamo integrare nel nostro PSL verifica flusso adesso?<img src="http://www.edaboard.com/images/smiles/icon_eek.gif" alt="Shocked" border="0" /><img src="http://www.edaboard.com/images/smiles/icon_question.gif" alt="Domanda" border="0" /><img src="http://www.edaboard.com/images/smiles/icon_question.gif" alt="Domanda" border="0" />