Introduction - If you have any usage issues, please Google them yourself
About the use modelsim for authentication, use verilogHDL language modeling. It also includes a focus on how to use verilog test bench written a detailed document on the design of the post-verification fpga cpld very helpful.