Laboratório de Síntese Automática de Circuitos - LSAC

O LSAC foi implantado em 2004, com financiamento da FINEP, através do Edital CT-INFRA 03/2001, e, posteriormente, recebeu apoio da FAPERJ, através do Edital Primeiros Projetos (MCT/CNPq/CT INFRA/FAPERJ No. 05/2003) e do CNPq, através do Edital Universal 2004. Este laboratório dá apoio ao desenvolvimento de pesquisa que visa projeto, modelagem, implementação e teste de circuitos e sistemas integrados, assim como ferramentas computacionais de apoio a estas atividades. Neste contexto, têm-se projetos de sistemas embutidos, incluindo Sistemas em Chip (SoCs), Redes Intrachip (NoCs), blocos de propriedade intelectual (IPs). A metodologia de projeto empregada inclui simulação, para validação funcional de hardware, co-simulação, para validação funcional de projetos integrados de hardware/software (codesign), prototipagem, através de síntese em dispositivos reconfiguráveis tipo FPGA. As ferramentas utilizadas para simulação e síntese são fornecidas gratuitamente pela Xilinx Inc., através do Programa Universitário XUP. Atualmente, o LSAC é utilizado pelos alunos do Mestrado em Engenharia Eletrônica e de graduação, dispondo de computadores, placas de prototipagem, kits de desenvolvimento, impressoras laser e multifuncionais.