Binary.TwoComplement.List
Back to table
/*
Binary-Number
Binary.TwoComplement.List
[binary() result]=Binary.TwoComplement.List(int bitLength, int numberFrom, int numberTo);
Get the TwoComplement-expression from numberFrom to numberTo with the bitLength.
*/
//-------------------------------------------------------------------
// examples
[v]=Binary.TwoComplement.List(4,-2,3);
[v]=Binary.TwoComplement.ToBinary(4,5);
[v]=Binary.TwoComplement.FromBinary(4'b0101);
[v]=Binary.TwoComplement.MaxValue(4);
[v]=Binary.TwoComplement.MinValue(4);
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsMonotonicFunction IsThresholdFunction And binary() Binary MinValue BCD bool() ToOrAnd AddXorTerm ToROBDD ToShannonTree list() Minus MantissaToPositiveNumber object PermutationMatrix real Realization To2LayerAndXor SAT Save ShortestInputsForDistinguishTwoStates AutoAssignInputAndStateVariables Forwardly StateVariables CreateCompactTableWithFullSimplification ComputeDONTCARE Zero