Binary.GrayCode.List
Back to table
/*
Binary-Number
Binary.GrayCode.List
[binary() result]=Binary.GrayCode.List(int bitLength, int numberFrom, int numberTo);
Get the GrayCode-expression from numberFrom to numberTo with the bitLength.
*/
//-------------------------------------------------------------------
// examples
[v]=Binary.GrayCode.List(4,2,3);
[v]=Binary.GrayCode.ToBinary(4,5);
[v]=Binary.GrayCode.FromBinary(4'b0101);
//-------------------------------------------------------------------
// result
Advanced IsBiUnateFunction IsInverse IsLinearFunction IsOneFunction IsPositiveUnateFunctionTo IsSymmetricFunction IsZeroFunction List GrayCode ToXORP Dimacs Email logicvardef Minus LeastSignificantDigit MostSignificantDigit RadixToIndex ShortestInputsForTransition InputVariables StateTransitionBasedly FullTable Fast FastVerificationData DontCare GetPositiveLogicFunction EnlargeLogicFunction Normalization Xor Zero