Utdatafiler för statisk drivrutinsverifierare

SDV genererar flera olika typer av utdata- och resultatfiler. I det här avsnittet beskrivs filerna och hur du använder dem.

Det här avsnittet innehåller:

Command-Line Output

Sdv-map.h

När du utvärderar resultatet av en SDV-verifiering måste du undersöka alla utdata noggrant och undersöka eventuella fel.