Resumen de SymSim: simulador de circuitos digitales
La verificación de módulos digitales a nivel eléctrico se realiza mediante la comprobación de la coherencia del circuito y de los parámetros de sus dispositivos, mientas que, a nivel de comportamiento, se utilizan simuladores lógicos. En este trabajo se presenta un método que satisface los dos objetivos: un layout o un esquema eléctrico es analizado mediante simulación. El simulador opera con expresiones lógicas obteniendo un resultado a nivel simbólico para cada nodo del circuito. En concreto, las funciones lógicas que los conducen a un estado binario conocido. Así pues, es posible detectar cortocircuitos y/o estados de memorización de tipo eventual o permanente.
