Binary.OneComplement.ToBinary
Back to table
/*
Binary-Number
Binary.OneComplement.ToBinary
[binary result]=Binary.OneComplement.ToBinary(int bitLength, int number);
Get the OneComplement binary expression of a number.
*/
//-------------------------------------------------------------------
// examples
[v]=Binary.OneComplement.List(4,-2,3);
[v]=Binary.OneComplement.ToBinary(4,5);
[v]=Binary.OneComplement.FromBinary(4'b0101);
[v]=Binary.OneComplement.MaxValue(4);
[v]=Binary.OneComplement.MinValue(4);
//-------------------------------------------------------------------
// result
IsBiUnateFunction IsBiUnateFunctionTo IsPositiveUnateFunctionTo IsSymmetricFunction IsSymmetricFunctionTo AndXor FromBinary bool() Diagram DigitalSystem Load logicvardef NumberSystem PositiveIntegerToMantissa Or real SAT ShortestInputsForDistinguishTwoStates StateVariables StateTransitionBasedly ToFeedbackSystem Implementation FastVerificationData MultiCover SimpleCover SimpleInner ComputeDONTCARE Substitute Xor Zero