En av de største utfordringene innen chip- og systemdesign er å verifisere at maskinvaren fungerer som den skal. Dette er oppgaven til ingeniører innen funksjonell verifikasjon, og de utgjør målgruppen for denne omfattende teksten fra tre ledende fagfolk i bransjen. Ettersom designene blir mer komplekse, har også verdien av verifikasjonsingeniører innen hardware-designteamet økt betydelig. Faktisk har behovet for dyktige verifikasjonsingeniører vokst dramatisk; funksjonell verifikasjon utgjør nå mellom 40 og 70 % av arbeidskraften i et prosjekt, og omtrent halvparten av kostnadene. Det finnes for øyeblikket svært få bøker om verifikasjon for ingeniører, og ingen som dekker emnet så grundig som denne teksten. En av bokens fremste styrker er at den beskriver hele verifikasjonsprosessen og detaljerer hvert enkelt trinn i syklusen. Bokens organisering følger denne syklusen, noe som viser hvordan funksjonell verifikasjon engasjerer alle aspekter av det overordnede designarbeidet og hvordan de individuelle syklusstadiene henger sammen med den større designprosessen. Gjennom hele boken får leseren et helhetlig innblikk i temaer som er avgjørende for vellykket verifikasjon av moderne designs.
