R
repac
Guest
Uplatnenie základné overovanie je trend. Ale, ktorá by mala jazyk používame? PSL? alebo iné? Zdá sa, že len kadenciu ncsim PSL podporuje dynamické simulácie a niekoľko beta nástroje pre podporu PSL statické formálne verificatoin. Mali by sme integrovať PSL do našej kontroly toku teraz? 8o::::