Theoretical Analysis Of Bus Invert Coding