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