Hello sirs, According to some tutorial stuff I have been going through, a "Desb" tool was used for circuit behavioral extraction from the standard cell level - generating a (.vbe) file which is later compared to the original behavioral description using the "proof" tool, and then the s2r tech conversion. I typed in 'desb' and I got an error "COMMAND NOT FOUND", so I suppose the tool is not supported anymore. Pls, what tool is to be used for such behavioral extraction at standard level? Thanks Giie --------------------------------- Do You Yahoo!? Check out Yahoo! Shopping and Yahoo! Auctionsfor all of your holiday gifts!