S
sudarsv
Guest
Hej alle Jeg er en ph.d.-studerende med speciale i VLSI design. Jeg forsøger at stifte bekendtskab med verifikation teknikker og værktøjer, der anvendes i industrien. Jeg er i øjeblikket forsøger at forstå de matematiske begreber af kontrollen, som grafer, BDD, model-checking, symbolsk beregning. Men disse begreber er mere teoretisk end praktisk. Kan nogen fortælle mig, hvordan disse begreber anvendes i den virkelige verden verifikation problemer. Hvilke værktøjer bruges til formel verifikation, hvad er den metode, der er fulgt i industrien. Også bedes du give mig henvisninger til nogle eksempler på projekter på verifikation. Tak