Re: RTL verification
typically, you need a verification environment to do rtl verification. Besides the DUT, you need a stimulus module and checker module, in most cases, you will need a reference model(as a golden reference). All the above are called behavioral models, they're written either in verilog or VHDL or vera or systemc, etc. The simulus module applys stimulus to the DUT, the checkers receive the response from DUT and compared with the response from golden reference model to judge whether the response is right or wrong. Further more, you will need several scripts written in shell scripts or perl or python, etc, which controls the running/regression of your environment. Besides simulation, you'll need a tool to do coverage anylysis.