US7694255B2 - Variable Delay Circuit, Recording Medium, Logic Verification Method and Electronic Device