EnsuringfunctionalcorrectnessonRTLdesignscontinuestoposeoneofthegreatestchallengesfortoday'sASICandSoCdesignteams.Rootedinthatchallengeisthegoaltoshortentheverificationcycle.Thisrequiresnewdesignandverificationtechniques.Inthisbook,weaddressthefunctionalcorrectnesschallengewithin