Система C поддерживает логику трех состояний?

Question

Поддерживает ли система C логику трех состояний? То есть биты, которые можно получить 0, 1 или же X, где X значит "неизвестно"?

Если это так, поддерживает ли он векторы, которые могут содержать XВ том числе логические и арифметические операции?

Answer 1

Вот что вам нужно:

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

У него нет переменных в трех состояниях, но есть переменные в четырех состояниях (это правильно?:P) (0,1,X,Z). Подробнее об этом в приведенных выше ссылках. Он также поддерживает векторы этих переменных.

Надеюсь, я вам немного помог:)

Answer 2

Да, вы ищете типы sc_logic и sc_lv, которые представляют собой 4 переменные состояния: 0, 1, X и Z. Обратите внимание на то, как они взаимодействуют, когда вы решаете их вместе. На сайте asic-world.com есть прекрасные таблицы, взятые непосредственно из Руководства пользователя SystemC.

Обратите внимание, что это не работает, как в Verilog, где X также может выступать в качестве подстановочного знака. Мне пришлось создать свою собственную функцию, чтобы добавить эту функциональность.