Property Index
| is_ | ||
is_evaluable | cell/properties | |
$alu | cell/word_arith | |
$fa | cell/word_arith | |
$lcu | cell/word_arith | |
$macc | cell/word_arith | |
$macc_v2 | cell/word_arith | |
$add | cell/word_binary | |
$and | cell/word_binary | |
$bweqx | cell/word_binary | |
$div | cell/word_binary | |
$divfloor | cell/word_binary | |
$eq | cell/word_binary | |
$eqx | cell/word_binary | |
$ge | cell/word_binary | |
$gt | cell/word_binary | |
$le | cell/word_binary | |
$logic_and | cell/word_binary | |
$logic_or | cell/word_binary | |
$lt | cell/word_binary | |
$mod | cell/word_binary | |
$modfloor | cell/word_binary | |
$mul | cell/word_binary | |
$ne | cell/word_binary | |
$nex | cell/word_binary | |
$or | cell/word_binary | |
$pow | cell/word_binary | |
$shift | cell/word_binary | |
$shiftx | cell/word_binary | |
$shl | cell/word_binary | |
$shr | cell/word_binary | |
$sshl | cell/word_binary | |
$sshr | cell/word_binary | |
$sub | cell/word_binary | |
$xnor | cell/word_binary | |
$xor | cell/word_binary | |
$_ANDNOT_ | cell/gate_comb_combined | |
$_AOI3_ | cell/gate_comb_combined | |
$_AOI4_ | cell/gate_comb_combined | |
$_MUX16_ | cell/gate_comb_combined | |
$_MUX4_ | cell/gate_comb_combined | |
$_MUX8_ | cell/gate_comb_combined | |
$_NMUX_ | cell/gate_comb_combined | |
$_OAI3_ | cell/gate_comb_combined | |
$_OAI4_ | cell/gate_comb_combined | |
$_ORNOT_ | cell/gate_comb_combined | |
$_AND_ | cell/gate_comb_simple | |
$_BUF_ | cell/gate_comb_simple | |
$_MUX_ | cell/gate_comb_simple | |
$_NAND_ | cell/gate_comb_simple | |
$_NOR_ | cell/gate_comb_simple | |
$_NOT_ | cell/gate_comb_simple | |
$_OR_ | cell/gate_comb_simple | |
$_XNOR_ | cell/gate_comb_simple | |
$_XOR_ | cell/gate_comb_simple | |
$allconst | cell/word_formal | |
$allseq | cell/word_formal | |
$anyconst | cell/word_formal | |
$anyseq | cell/word_formal | |
$assert | cell/word_formal | |
$assume | cell/word_formal | |
$cover | cell/word_formal | |
$equiv | cell/word_formal | |
$fair | cell/word_formal | |
$initstate | cell/word_formal | |
$live | cell/word_formal | |
$_TBUF_ | cell/gate_other | |
$lut | cell/word_logic | |
$sop | cell/word_logic | |
$bmux | cell/word_mux | |
$bwmux | cell/word_mux | |
$demux | cell/word_mux | |
$mux | cell/word_mux | |
$pmux | cell/word_mux | |
$tribuf | cell/word_mux | |
$specify2 | cell/word_spec | |
$specify3 | cell/word_spec | |
$specrule | cell/word_spec | |
$buf | cell/word_unary | |
$logic_not | cell/word_unary | |
$neg | cell/word_unary | |
$not | cell/word_unary | |
$pos | cell/word_unary | |
$reduce_and | cell/word_unary | |
$reduce_bool | cell/word_unary | |
$reduce_or | cell/word_unary | |
$reduce_xnor | cell/word_unary | |
$reduce_xor | cell/word_unary | |
$concat | cell/word_wire | |
$slice | cell/word_wire | |
| x- | ||
x-aware | cell/properties | |
$bweqx | cell/word_binary | |
$eqx | cell/word_binary | |
$nex | cell/word_binary | |
x-output | cell/properties | |
$div | cell/word_binary | |
$mod | cell/word_binary | |
$shiftx | cell/word_binary | |
$pmux | cell/word_mux |
