bin hot gray jedi encoding in ISE

Hello

I have some state machines in kiss which I am converting to the verilog 
format. I would like to encode this verilog with binary, 1-hot, jedi and 
  gray and after that to synthetize them in ISE.

I have tried to find out how to do it, but I was unsuccessful

Do someone knows the solution

thank you in advance

regards

Dominik

user@domain.invalid wrote in message news:<cj102r$het$1@news.tue.nl>...
> Hello
> 
> I have some state machines in kiss which I am converting to the verilog 
> format. I would like to encode this verilog with binary, 1-hot, jedi and 
>   gray and after that to synthetize them in ISE.

Jedi is easy. Run XST with the -force option.

Cheers,
Jon