Um sistema especialista para verificação de regras de projeto eletrico em circuitos integrados de tecnologia CMOS VLSI

Este trabalho apresenta os aspectos teóricos e práticos envolvidos na construção de um sistema especialista para verificação de regras elétricas em circuitos integrados de tecnologia CMOS. Inicialmente é feito um estudo sobre os paradigmas e técnicas de construção de sistemas especialistas. É apresentada uma arquitetura de um sistema especialista para verificação de regras. Na apresentação da arquitetura são mostrados os aspectos teóricos das regras elétricas que um circuito deve respeitar. Por fim é apresentado um protótipo do sistema verificador de regras elétricas, implementado em PROLOG, apresentando-se os resultados alcançadosNot informe