Mac mini上にRTLシミュレーション環境を構築してみる