Preguntas y problemas habituales

acerca de VerilUOC_Desktop

ndice

Acerca de VerilUOC_Desktop (en general)

1. Se puede copiar VerilUOC_Desktop de la mquina virtual al ordenador con el fin de poderlo
ejecutar sin necesidad de la mquina virtual?
2. Mensaje de error indicando que no se puede cargar ningn ejercicio.
3. Hay disponible un documento PDF con toda la informacin de la wiki de
VerilUOC_Desktop?

Acerca de Logisim y VerilCirc

4. Cmo se puede acceder a la informacin relativa a cada una de las celdas disponibles en
Logisim para disear un circuito?
5. VerilCirc genera un error indicando la existencia de entradas vacas en componentes del
circuito.
6. Al verificar un circuito que posee diversas salidas, VerilCirc genera un error indicando que
"se han detectado mltiples subcircuitos" y que el circuito no tiene ninguna salida.
7. Al verificar un circuito, VerilCirc genera un error indicando que hay entradas y/o salidas sin
etiqueta (es decir, sin nombre).
8. Al verificar un circuito diseado con la herramienta de sntesis "Anlisis de circuitos",
VerilCirc genera un error indicando que "se han detectado mltiples subcircuitos" y que el
circuito no tiene entradas.
9. Al verificar un circuito, VerilCirc genera un error indicando que hay un "Bus con
interconexin circular o bus de salida con valor de entrada asignado".
10. Al simular en Logisim un circuito que contiene una celda XOR de 3 entradas, el
comportamiento del circuito es distinto del esperado.

Preguntas y Respuestas - Problemas y Soluciones

1. Pregunta: Puesto que VerilUOC_Desktop se halla almacenado en un fichero jar y de ello se
deduce que es una aplicacin desarrollada en Java, sera factible instalarla y ejecutarla
directamente en un ordenador que tenga instalado Java sin necesidad de usar la mquina
virtual?
Respuesta: No. Es cierto que VerilUOC_Desktop ha sido desarrollado en Java pero muchas de
sus funcionalidades se apoyan en programas y servicios que se hallan instalados en la mquina
virtual. En consecuencia, si se ejecuta VerilUOC_Desktop fuera de la mquina virtual, las
citadas funcionalidades dejarn de estar disponibles o presentarn un comportamiento
incorrecto.

2. Problema: Dentro de VerilUOC_Desktop, al ejecutar el comando Simular ->

Verificacin me aparece un mensaje de error indicando que no puede cargar los
ejercicios (ver imagen) y solicitando la actualizacin de la lista de ejercicios.

Solucin: Muy probablemente, el error se deba a que en la mquina virtual el servicio de la

base de datos mysql se ha detenido o no est funcionando correctamente. Para solucionarlo se
realizar los siguientes pasos:
1. Se cerrar VerilUOC_Desktop.
2. En la mquina virtual, se abrir una terminal (Applications Utilities
Sakura Terminal) y se ejecutar:
sudo /etc/init.d/mysql

start

3. SI la salida del comando anterior es "Mysql already running." ENTONCES se ejecutar en

la terminal:
sudo /etc/init.d/mysql

restart

4. De nuevo se abrir VerilUOC_Desktop y se invocar el comando Simular

Verificacin.

3. Pregunta: Existe una versin en formato PDF de la documentacin de ayuda que aparece
en la wiki de VerilUOC_Desktop?
Respuesta: No, no existe una versin PDF de dicha documentacin ni se prev disponer de
ella.

4. Pregunta: Estoy diseando un circuito con Logisim. Querra utilizar una determinada celda
pero tengo ciertas dudas sobre su uso o sobre el funcionamiento de sus terminales de entrada
y/o salida. Dnde puedo obtener ms informacin acerca de esta celda?
Respuesta: Dentro de VerilUOC_Desktop, en Ayuda Tutorial se puede encontrar la
explicacin de cmo funcionan todos los componentes de Logisim. La informacin es muy
detallada y puede resolver un gran nmero de dudas.

5. Problema: He diseado con LogiSim el circuito correspondiente a un ejercicio. Al realizar la

correccin con VerilCirc obtengo el siguiente mensaje de error (ver imagen):
"AVISO: Hay entradas vacas de componentes:"
(X, Y)

Nota: X e Y son nmeros.

Solucin: El motivo de ese error es que en el circuito o bien hay algn pin de salida sin
conectar o bien hay puertas o componentes con entradas flotantes, es decir, entradas no
utilizadas (no reciben ninguna seal). Este segundo caso es la causa ms habitual del error.

Cuando se aade una puerta lgica, por defecto, el programa selecciona puertas de 5
entradas y si se utiliza menos entradas algunas se quedan sin conexin, lo cual no est
permitido. La solucin es establecer en cada puerta lgica el nmero de entradas que
realmente se necesitan. El nmero de entradas de una puerta se puede controlar mediante la
propiedad "Nmero de entradas" de esa puerta.
Las parejas de nmeros que acompaan al mensaje de error indican las coordenadas
donde se hallan las entradas no conectadas. En la ventana de Logisim, las coordenadas
correspondientes a la posicin sealada por el ratn aparecen en la esquina inferior izquierda
cuando el icono

de la barra de herramientas est activado.

6. Problema: He diseado con Logisim el circuito correspondiente a un ejercicio. Cuando

procedo a verificarlo con VerilCirc, ste me da el siguiente aviso:

Tras apretar el botn Aceptar aparece un mensaje indicndome que el circuito no

contiene ninguna salida:

Sin embargo, el circuito diseado s contiene salidas y las salidas estn correctamente
conectadas.

Solucin: Esa situacin muy probablemente se deba a que el diseo realizado se halla en un
circuito distinto al circuito main (en el ejemplo del enunciado se hallara en el circuito qq, de
ah que aparezca ese nombre en la figura correspondiente al primer mensaje). La herramienta
de verificacin solo verifica el diseo que se halla en el circuito main.
Una causa habitual de esta situacin problemtica, especialmente cuando se afronta la
realizacin de un nuevo diseo, es la ejecucin consecutiva de los comandos Archivo Nuevo
y Proyecto Aadir circuito. Este ltimo comando provoca la creacin de un nuevo circuito
para el diseo a realizar, circuito que ser distinto del circuito main. Para evitar esta situacin,
si se desea realizar un nuevo diseo, simplemente se debe ejecutar el comando Archivo
Nuevo.
Para solventar el problema, se puede copiar en el circuito main el diseo realizado.
Para ello se seguir los siguientes pasos:
- Abrir VerilUOC_Desktop
- Cargar el fichero con el diseo realizado (Archivo Abrir nombre_fichero)
- Abrir una ventana vaca nueva (Archivo Nuevo)
- En la ventana que contiene el diseo existente
* seleccionar el diseo completo (Editar Seleccionar Todo)
* copiar el diseo completo al portapapeles (Editar Copiar)
- En la ventana vaca:
* pegar el diseo copiado (Editar Pegar)
* hacer clic sobre el fondo del rea de edicin para deseleccionar todos los elementos del
diseo
- Cerrar la ventana que contiene el diseo inicial ejecutando (Archivo Cerrar) en esa
ventana.
- En la ventana que contiene el diseo pegado, grabarlo en un nuevo fichero (Archivo
Guardar nombre_del_nuevo_fichero)
- Verificar el diseo con VerilCirc (Simular Verificacin Seleccionar
ejercicio Pulsar el botn Verificar)

7. Problema: He diseado un circuito para un ejercicio, pero al verificarlo obtengo un mensaje

de error indicando que hay entradas y/o salidas sin etiqueta (es decir, sin nombre). No
obstante, yo he puesto los nombres de las entradas y salidas mediante el comando
independiente de etiquetado, el cual permite poner etiquetas en el circuito.
Solucin: Los nombres de las entradas y las salidas no se establecen mediante el uso del
comando independiente de etiquetado. Para poner el nombre a una entrada, se debe
seleccionar la entrada haciendo clic sobre ella y entonces escribir el nombre en el campo
Etiqueta (que se halla en el panel de propiedades situado en la parte izquierda inferior de la
ventana).

8. Problema: En un ejercicio he realizado un circuito combinacional, crendolo con la

herramienta de sntesis que tiene incorporada Logisim (accesible a travs del comando
Proyecto Analizar circuito). Tras generar el diseo, cuando lo verifico con
VerilCirc obtengo un primer mensaje de error indicndome que "se han detectado mltiples
subcircuitos". A continuacin, obtengo otro mensaje que dice que el diseo no tiene
entradas. Sin embargo, el diseo s tiene entradas.
Solucin: Cuando se sintetiza automticamente el diseo en Logisim, tras pulsar el botn
Crear Circuito, aparece un formulario. Uno de los campos del formulario es Nombre
Circuito, el cual tiene por defecto el valor main. Dicho valor NO debe ser cambiado por
otro nombre. Si se cambia, VerilCirc no verificar el circuito. El motivo es que VerilCirc solo
verifica el diseo almacenado en el circuito main. Los diseos almacenados en otros circuitos
no son tenidos en cuenta por VerilCirc.

9. Problema: En un ejercicio, una vez diseado el circuito, al verificarlo obtengo el mensaje:

"AVISO: Bus con interconexin circular o bus de salida con valor de entrada asignado en (X,
Y)". X e Y son dos nmeros. Qu significa este error?

Solucin: Ese error se produce cuando hay una conexin circular no permitida por Logisim
entre un conjunto de componentes que normalmente son combinacionales.
Una conexin circular, como su nombre indica, es una conexin entre celdas que
adopta la forma de bucle (es decir, de crculo). Un ejemplo sencillo es siguiente. Imaginemos
que un circuito est formado por n celdas y hay tres de ellas, llammosles c1, c2 y c3, que son
puertas lgicas y estn conectadas de la siguiente forma. La salida de c1 est conectada a una
entrada de c2; la salida de c2 est conectada a una entrada de c3 y, finalmente, la salida de c3
est conectada a una entrada de c1. Ese sera un caso de conexin circular entre c1, c2 y c3.

El par de nmeros del mensaje de error se corresponden a las coordenadas de un

terminal de una de las celdas que forman parte de esa conexin circular. Cuando el icono
de la barra de herramientas est activado, en la esquina inferior izquierda de la ventana de
Logisim se hallan las coordenadas del cursor movido por el ratn. Con ellas se puede localizar
fcilmente qu punto del rea de edicin tiene esas coordenadas.

10. Problema: He simulado un circuito con Logisim y este se comporta de forma distinta a la
esperada. He observado que la causa se debe a que una de sus celdas, concretamente una
celda XOR de 3 entradas, presenta un comportamiento errneo. La combinacin de valores
111 en las entradas debera producir como salida 1 y, sin embargo, da 0. Por el contrario, la
celda XOR de 2 entradas se comporta correctamente y si se conecta en cascada varias XOR de
2 entradas, el comportamiento tambin es correcto.
Solucin: Aunque en la algebra booleana la operacin XOR se define como una operacin
asociativa, y por tanto, 111 = (11)1 = 1, en el campo de los sistemas digitales coexisten
dos definiciones de la funcionalidad de una puerta XOR de n puertas:
- producir el resultado 1 cuando estrictamente solo una entrada vale 1.
- producir el resultado 1 cuando un nmero impar de entradas vale 1 (esta definicin es
coherente con la de la algebra booleana)
Por defecto, el simulador de Logisim implementa la primera interpretacin pero se
puede cambiar seleccionando la puerta XOR y asignando a la propiedad Comportamiento
multi-entrada el valor Cuando un nmero impar de entradas son 1 (las
propiedades son mostradas en el panel izquierdo inferior).