K-map generator | BEAMS

K-map generator

Project information
Project type: 
MA1 project
Academic year: 
2016-2017
Status: 
Running
Research unit: 
Embedded electronics
BEAMS supervisors
Supervisor
Academic promoter
Student(s)
Antonio Garcia Diaz

Introduction
Logic circuits can be described through various forms, truth tables being
the most trivial of them. A more elaborate way was named after Maurice Karnaugh, the
k-map. Those tables allow to visually extract the logic function of a circuit, possibly
taking into account hazards such as race conditions.

Context
In bachelor, two courses are teaching the use of k-maps: ELECH305: Circuits
logiques et numériques and ELECH310: Électronique numérique . Through numerous
exercises, students are familiarized with logic circuit synthesis. However, there is never
enough of such exercises and they can be time-expensive to create and layout.

Project
The aim of the project is to develop a lightweight application capable of gen-
erating random k-maps and their solution, in order for the students to train themselves.
The solved k-map should be displayed to the user in such a way that the n-cubes are
highlighted. Both the solution and the exercise should be exportale to LaTeX (using
Tikz, the askmaps package or any deemed more appropriate way).
As an expansion to the program, the logical circuit corresponding to the nal logic
equation could be generated, and be exportable through a picture or a LaTeX Tikz
circuit).
The technology used to develop the application is left to the discretion of the student,
although a web application with an oine feature is strongly prefered.

Ressources

Theme by Danetsoft and Danang Probo Sayekti inspired by Maksimer