Modelsim add to schemetic报错及解决/ 不等于运算符的逻辑电路

Overview

类似于Modelsim这样的软件，可以综合出RTL的实际逻辑电路，因此对于了解RTL到底层电路的映射是十分方便的。

Add to schemetic

最近想用schemetic看一下不等于!=这个运算符会综合出怎样的电路逻辑，因此用Modelsim跑了一个简单的demo，但在将测试代码加入schemetic时报错。

 关于这个报错，在网上查了下发现各有说法，但是有点很复杂，实际上根据它的提示来就好了

Solution

在软件GUI中进行simulate时，操作步骤是如下图所示

 这样的操作会生成一个相应的脚本在terminal

 所以解决方案就是添加一个-debugDB的选项

接着就可以看到电路结构了:-) 

 

电路分析

上图中可以看到不等于的实现是通过一个等于运算逻辑和非门

其实从真值表可以分析出，等于运算符的电路实现是一个同或逻辑XNOR

所以再加一个取反实际上是异或的逻辑，只不过上图中根据编译库形成了这样的符号，具体实现还是与电路lib以及相应的综合方式有关