assertion based design 2nd edition

EnsuringfunctionalcorrectnessonRTLdesignscontinuestoposeoneofthegreatestchallengesfortoday'sASICandSoCdesignteams.Rootedinthatchallengeisthegoaltoshortentheverificationcycle.Thisrequiresnewdesignandverificationtechniques.Inthisbook,weaddressthefunctionalcorrectnesschallengewithin