Hi, RManickam.
No, .inf file is not required to install this driver.
The only thing You need to install driver is to create all necessary registry keys (described above) and copy .sys driver to system32/drivers directory.
You can also check the actual registry settings by instling actual VDDK distributive. It installs the driver as it should be installed.
Best regards,
Sergey.