upc eetac_1

Project P1 tutorial on using minilog.exe

P1


Logic function minimisation based on ESPRESSO algorithms

1. Minilog installation

The software is installed and available at EETAC laboratories and computers. It can be installed in your computer as well.

Minilog

Fig. 1. Software Minilog

2. An example circuit (SoP)

This is an example on the use of minilog to design a circuit based on simplyfied equations derived from the truth table. Fig. 1 shows the circuit's truth table. The aim of this problem is to invent another circuit, for instance Circuit_Q, based on a SoP. Another problem may be to invent another circuit, fo instance Circuit_R, based on PoS.

Circuit example
maxterms

Fig. 2. Example specifications of a circuit.

The minilog compatible source text file that describes the circuit's truth table (file extension tbl to recognise it) is represented in Fig.2. Some of the Minilog key words are table, input, output and end.

text

Fig. 3.  Example truth table file ready for minilog.

 

Copy the source file in your project folder, for instance: "L:\CSD\P1\minilog\" and run the application.

open

Fig. 4.

Select the minimisation parameters and the type of resulting minimised equations. This time, in order to generate the circuit_Q, choose SoP. 

options

Fig. 5. Selection of the parameters. Single output mode (SOM) and output table format. (Do not use the logic equations format).

Execute the minimise order.

minimise

Fig. 6. Click F9 to start the process of minimisation.

Inspect the resulting file showing the output table format: Example.min 

SoP

Fig. 7. Result in table format to be interpreted as an equation in the SoP form.

The resulting equation in SoP from the table interpretation:  F = A'·B' + A·D + C

Draw the Circuit_Q from this equation. To complete the project, now is time for checking that this equation produces the same truth table represented in Fig.1. You may use WolframAlpha or Proteus to perform this test. 

 

3. An example circuit (PoS)

This is an example on the use of minilog to design a circuit based on simplyfied equations derived from the truth table. Fig. 1 shows the circuit's truth table. The aim of this problem is to invent another circuit, for instance Circuit_R, based on PoS. Thus, Fig. 2, Fig. 3 and Fig. 4 are the same. Click the option PoS as shown in Fig. 8. 

PoS

Fig. 8. Selecting the output in PoS.

Inspect the resulting file showing the output table format: Example.min 

sums

Fig. 9.   The file example.min

The resulting equation in PoS from the table interpretation:  F = (A' + C + D) · (A + B' + C)

Draw the Circuit_R from this equation. To complete the project, now is time for checking that this equation produces the same truth table represented in Fig.1. You may use WolframAlpha or Proteus to perform this test. 

 

Other similar tutorial exercises

- Another complete example for minimising logic functions using Minilog (docx). Truth table example "HEX_7SEG_basic.tbl"  The idea is always start with a file which already runs and modify it accordingly to the new problem truth table. Another truth table example which uses "don't care terms": "HEX_7SEG_all.tbl"

Other materials of interest

This tutorial is also about building sircuits based on minimised equations.