数字IC验证，求内推码。