Introducing Smart Verification Unleashing the Potential of AI Within Functional Verification