绿皮书6.13.2节的例子仿真错误

年轻的韭菜 · 发表于 2020-7-24 17:28:17

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

x

关键找了英文版的第三版，也和绿皮书上的一样。这是仿真器问题还是错误了呢。用的vcs.

hanyusky10 · 发表于 2020-7-24 17:55:05

不懂就问，绿皮书是啥？

cwang123 · 发表于 2020-7-24 18:42:08

你这个约束写的有问题吧、你想约束的是数组d的什么呢

年轻的韭菜 · 发表于 2020-7-24 20:08:04

hanyusky10 发表于 2020-7-24 17:55
不懂就问，绿皮书是啥？

验证的都知道啊

年轻的韭菜 · 发表于 2020-7-24 20:09:00

cwang123 发表于 2020-7-24 18:42
你这个约束写的有问题吧、你想约束的是数组d的什么呢

就绿皮书上的意思，数组d 4个数为1，其余为0.

huaihui · 发表于 2020-7-25 20:06:34

我完全按照你的代码跑也没问题

年轻的韭菜 · 发表于 2020-7-26 15:41:41

huaihui 发表于 2020-7-25 20:06
我完全按照你的代码跑也没问题

我截图代码没问题，书上的有问题吧。

空白MAX · 发表于 2021-9-3 15:21:35

应该是有问题，绿皮书例2.28，好像也有问题

[原创] 绿皮书6.13.2节的例子仿真错误