Binary.AbsoluteExpression.List
Back to table
/*
Binary-Number
Binary.AbsoluteExpression.List
[binary() result]=Binary.AbsoluteExpression.List(int bitLength, int numberFrom, int numberTo);
Get the absolute-expression from numberFrom to numberTo with the bitLength.
*/
//-------------------------------------------------------------------
// examples
[v]=Binary.AbsoluteExpression.List(4,-2,3);
[v]=Binary.AbsoluteExpression.ToBinary(4,5);
[v]=Binary.AbsoluteExpression.FromBinary(4'b0101);
[v]=Binary.AbsoluteExpression.MaxValue(4);
[v]=Binary.AbsoluteExpression.MinValue(4);
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsInverse IsMonotonicFunction IsNegativeUnateFunctionTo IsPositiveFunction IsSelfAntiDualFunction And AbsoluteExpression PureBinary bool ToAndXor ToSOP DiagramGateName Imply list() Minus Nor Not One Print Realization SOP Solve StateVariables Implementation FastVerificationData DontCare EnlargeLogicFunction Substitute Zero