HDLからASICに配置可能なゲート・レベルのネット・リストを生成すること．