複雑なLSI規模のモデリングも可能ですか？

SPICEのようなアナログシミュレータには不向きと考えています。
VHDL,Verilogなどの機能記述言語ではモデリング可能です。