R
Repac
Guest
Tvrdnja verifikacije je osnovni trend.
Ali, što language trebamo koristiti?
PSL?ili drugima?
Čini se samo kadenca ncsim podržava PSL dinamička simulacija i nekoliko beta alati podršku PSL statična formalni verificatoin.
PSL bismo trebali integrirati u naše verifikaciju protok sada?<img src="http://www.edaboard.com/images/smiles/icon_eek.gif" alt="Šokirana" border="0" /><img src="http://www.edaboard.com/images/smiles/icon_question.gif" alt="Pitanje" border="0" /><img src="http://www.edaboard.com/images/smiles/icon_question.gif" alt="Pitanje" border="0" />
Ali, što language trebamo koristiti?
PSL?ili drugima?
Čini se samo kadenca ncsim podržava PSL dinamička simulacija i nekoliko beta alati podršku PSL statična formalni verificatoin.
PSL bismo trebali integrirati u naše verifikaciju protok sada?<img src="http://www.edaboard.com/images/smiles/icon_eek.gif" alt="Šokirana" border="0" /><img src="http://www.edaboard.com/images/smiles/icon_question.gif" alt="Pitanje" border="0" /><img src="http://www.edaboard.com/images/smiles/icon_question.gif" alt="Pitanje" border="0" />