systemc - 系统 C 是否支持三态逻辑？

Question

System C 是否支持三态逻辑？也就是说，可以得到的位0，1或者X，在哪里X表示“未知”？

如果支持，它是否还支持可以包含Xes 的向量，包括逻辑和算术运算？

Answer 1

这是您需要的：

• http://www.asic-world.com/systemc/data_types2.html
• http://en.wikipedia.org/wiki/SystemC#Data_types

它没有三态变量，而是四态（对吗？：P）变量（0,1,X,Z）。更多关于它在上面的链接。它还支持这些变量的向量。

希望我对你有所帮助:)

Answer 2

是的，您正在寻找 sc_logic 和 sc_lv 类型，它们是 4 个状态变量：0、1、X 和 Z。当您一起解决它们时，请注意它们如何交互。asic-world.com 网站上有一个很好的表格，直接取自 SystemC 用户手册。

请注意，这不像在 Verilog 中那样工作，其中 X 也可以充当通配符。我必须构建自己的函数来添加该功能。