Operator

Kathryn provide these standard operation on Any Logic Variable (described in variable section)

• You may notice that some of operation in Kathryn is too constrained compared to Verilog. It happens because I need to prevent bug or misunderstanding while testing the system in this version.

1. Bitwise Operation

• Type	decaration	Operand Size Constrain
  &	a & b	sizeDes == sizeA == sizeB
  |	a | b	sizeDes == sizeA == sizeB
  ^	a ^ b	sizeDes == sizeA == sizeB
  ~	~a	sizeDes == sizeA
  <<	a << b	sizeDes == sizeA
  >>	a >> b	sizeDes == sizeA

2. Logical Operation

• Type	decaration	Operand Size Constrain
  &&	a && b	sizeDes =1; sizeA == sizeB
  !	!a	sizeDes =1;

3. arithmetic Operation

• Type	decaration	Operand Size Constrain
  +	a + b	sizeDes == sizeA == sizeB
  -	a - b	sizeDes == sizeA == sizeB
  *	cnsp	n/a
  /	cnsp	n/a
  %	cnsp	n/a

• cnsp = currently not support