Welk doel van het gebruik van een referentiemodel (golden model) dat in bijvoorbeeld C is geschreven bij verificatie is juist?

Antwoord: B. Dezelfde functie als die van de schakeling op een andere manier berekenen en het resultaat als verwachte waarde met de uitgang van de schakeling vergelijken

Een referentiemodel is de functie die de schakeling moet realiseren, eenvoudig in software geschreven zonder aan timing te denken. Als dezelfde ingangen aan zowel de schakeling als het referentiemodel worden gegeven en de resultaten worden vergeleken, kunnen ook bij grote aantallen willekeurige ingangen automatisch verwachte waarden worden gemaakt. Als dezelfde persoon als de ontwerper het model op basis van hetzelfde misverstand maakt, worden fouten gemist, dus het is belangrijk het onafhankelijk van de specificatie te maken.