DC综合，如何让它识别4值逻辑？

petrel87 · 发表于 2016-6-8 16:05:09

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

现在是有个case语句的，有4个主要情况00，,01,11,10.然后default执行的是自动纠错，加入case到了0x,x1这种的，就会自动回到00状态。经过dc综合，这个default被优化掉了，警告说是默认branch无法达到。
请问，怎么设置dc可以保留代码这个功能啊？

petrel87 · 发表于 2016-6-8 16:21:53

还有。。。有没有什么综合工具认可4值逻辑？

杰克淡定 · 发表于 2016-6-8 16:47:48

两bit的数字信号译码，本来就只有00,01,10,11四种case的分支情况，你已经列全了，自然不存在default分支了。所谓的default，意思就是当出现已列分支以外的情况时如何如何……
1.
case(a[1:0])
   2'b00 : xxx = b0;
   2'b01 : xxx = b1;
   2'b10 : xxx = b2;
   2'b11 : xxx = b3;
endcase

2.
case(a[1:0])
   2'b00 : xxx = b0;
   2'b01 : xxx = b1;
   2'b10 : xxx = b2;
   default : xxx = b3;
endcase

3.
case(a[1:0])
   2'b00 : xxx = b0;
   2'b01 : xxx = b1;
   2'b10 : xxx = b2;
   2'b11 : xxx = b3;
default: xxx = 0;
endcase

以上三种写法，得到的电路是一模一样的。方式3中，全译码了，还加上default其实没有任何作用，语法不会报错，但综合出的电路是得不出default这个分支的

petrel87 · 发表于 2016-6-8 17:11:08

回复 3# 杰克淡定

大神。此处是9值逻辑。前仿我删掉了default之后，modelsim报错说我的状态覆盖了81 states of 4.查了一下0,1,z,x,l,w,h...9值逻辑。
他们给项目的人写的这代码很坑，根据仿真表明，初始阶段状态机一定会调到不定态，就需要这个others来纠错。现在综合工具给优化掉了，他不认可0和1之外的。