Property Index

is_ | x-


	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