[pt] A análise do comportamento de tempos é uma etapa fundamental do processo de validação de projetos de circuitos integrados. O objetivo deste trabalho é apresentar aspectos de verificação de projetos e propor uma abordagem para análise de tempos de circuitos integrados baseada nos conceitos de hierarquia de definição, modo-misto de representação e independência de tecnologia. Foi implementado um analisador de tempos, o TCHiM, cujas características são apresentadas. / [en] Timing analysis is a fundamental step for the validation of a integrated circuit design. In this work present some aspects of verification of designs and an propose an approach for a timing analyzer, based on the concepst of definition hierarchy, mixed-mode representation and technology independence. A prototype was implement and its caracteristics are presented.