memory compiler 用DC 综合时遇到的一些问题

memorycompiler 是行为级模型，如之前的论坛的网友说的，综合时需要把　.lib文件转成db文件。我现在转了之后用DC 综合还是会报一些错误：我看memory compiler生成的行为级.v文件，它里面会用到“！==” 这种操作符，DC 会报如下的错误：case inequality (！==) is not supported by synthesis，请问该怎么处理?

建议先去看userguide,有不懂得再来问

memory compile出来的v，谁告诉你是用来综合的?