Its interesting that evryone recommends tricend because of its programmable logic but I am not sure that I would trust a company which doesnt seem to provide a vital timing library for its logic parts.No matter what people will tell you,you simply cannot be sure of the timing of logic without sfd or vital libraries.This is the whole point of post layout simulation.