
Verifiointi tarkoittaa sitä osaa järjestelmän kehityksestä, jossa laitteiston ja ohjelmiston toiminta varmennetaan. Että laite toimii, niin kuin sen on tarkoitettu. Siemens EDA on esitellyt uudistetun Velocen, joka varmentaa niin piirin, järjestelmän kuin ohjelmistokoodin toiminnan.