CreatingAssertion-BasedIPWrittenfor:Designandverificationengineers;SoC/ASICdesignprojectmanagersKeywords:Assertion-BasedFosterIPKrolnikVerificationintegratedcircuits