Basics Of Design And Virtual Verification