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
Advanced Analysis IsMonotonicFunction And List binary AddXorTerm ToPOS ToROBDD ToVariableInvertedFunction DiagramGateName Dimacs Load long Nor Not PositiveDecimalToMantissa RadixFromIndex OrAnd POS To2LayerAndOr ToFullAnd InputVariables Backwardly FastVerificationData SimpleCover StateTransition RandomGenerate ComputeDONTCARE Zero