Trek is a graph based functional test synthesis tool targeted at developing functional vectors for complex IC designs and aiding the understanding, defining, and analysis of verification requirements.