HSPICE是不是本来就有自己的一些库文件？

HSPICE是不是本来就有自己的一些库文件?
写程序的时候，不用.lib加载库文件，但是写
.model pmos pmos level=1
.model nmos nmos level=1
可不可以?
我以前这么写，居然仿真对了，后来听别人说这么不行，请高手指教，先多谢！

1# zpc987
it's may be berkly public model