Abstract
ModelSim依照以下規則搜尋Verilog實例。

Introduction
1.按照vsim命令行中的-Lf(或-L)參數指定的各庫邏輯名在命令行中的先後順序，進行庫搜尋。

2.搜尋work庫。

3.搜尋在實例名中專門指定的庫。

Reference
杜慧敏、趙全良 2006，基於Verilog的FPGA設計基礎，西安電子科技大學出版社