Encuentro sobre Sistemas Digitales

El viernes 16 a las 14.30 hs., el Dr. Elias Todorovich, dará una conferencia sobre Diseño y verificación Funcional de Sistemas Digitales en el IFAS, Instituto de Física Arroyo Seco, Facultad de Ciencias Exactas, Campus Universitario, Tandil.
Durante el encuentro académico se abordará el desarrollo de nuevas técnicas de verificación funcional de sistemas digitales. Estas técnicas se basan en nuevos lenguajes, generación de estímulos aleatorios con restricciones, cobertura funcional y verificación basada en aserciones, entre otras. Las técnicas se aplicaran a diseños digitales actualmente en desarrollo.