Patent ID: 7353470

Claim:
A method to encode data for a lossless decoder, said method utilizing a simulation model of said lossless decoder set to an initial state, and comprising the steps of: a. setting existing states into an array of existing states and desired states into an array of desired states, b. adding variables into an array of variables for each input of the simulation model, c. simulating one cycle of the simulation model, separately manipulating the array of existing states and array of variables, d. solving for the variables by successively applying values to the variables in a manner to optimize a likelihood of making an evaluation of expected states associated with the desired states equivalent to the desired states, and e. repeating b, c, and d until all desired values are equivalent to evaluations of their expected states; wherein said evaluation of the expected states is performed by selecting and combining existing states and variables from said array of existing states and said array of variables, respectively.