A functional block for verifying correct interface operation of any
functional block is generated from interface description and installed on
a LSI chip. To accomplish this, from the interface description, hardware
description of a synthesizable interface checker is generated. Means for
selecting interface functions to be checked is provided, thereby making it
possible to reduce the overhead of circuits to be installed on the LSI.
Um bloco funcional para verificar a operação correta da relação de todo o bloco funcional é gerado da descrição da relação e instalado em uma microplaqueta do LSI. Realizar isto, da descrição da relação, descrição da ferragem de um verificador synthesizable da relação é gerado. Os meios para selecionar funções da relação ser verificado são fornecidos, fazendo desse modo o possível reduzir as despesas gerais dos circuitos a ser instalados no LSI.