1. A system for automatically generating device driver codes for a device model based on an operation of said device model in verification environments, said system comprising: a computing device that comprises (a) a device driver generator tool that generates a device driver code for said device model, (b) a memory unit that stores (i) a database and (ii) a set of modules, and (c) a processor that executes said set of modules, wherein said set of modules comprise: a device programming specification receiving module, implemented by said processor, that receives at least one device programming specification that comprises aspects associated with an operation of said device model in said verification environment to determine a type of device driver code to be generated, wherein said device programming specification receiving module comprises a device programming specification parsing module parses a file that comprises said device programming specification; a run time specification parsing module, implemented by said processor, that parses a run time specification file that comprises a plurality of verification environment parameters in run time specification; a verification environment determination module, implemented by said processor, that determines whether said verification environment equals to a part of a simulation or an emulation in said run time specification, wherein said verification environment determination module determines a pre-determined output programming language for said device driver code and communicates said pre-determined output programming language; and a driver generation module, implemented by said processor, automatically generates said device driver code in said pre-determined output programming language, wherein said device driver code is generated so that it is specific to said simulation or said emulation in said run time specification;