Archive for May, 2011

Moore state machine solver and optimizer

May 17, 2011

A Moore machine is a finite-state machine whose output values are determined solely by its current state, in contrast to a Mealy machine. A state machine has a number of states, which are usually conveniently labeled 0, 1, 2, etc.. Below you can find a utility that can help you design and implement a state machine in hardware.

(more…)

Advertisements

Quine-McCluskey algorithm implementation in Python

May 17, 2011

Recently, I had to minimize some boolean functions using Karnaugh maps. The functions were part of a state machine, which I would like to optimize, so I had to repeat the process using Karnaugh maps over and over until, finally, I decided it would be much more productive, if I could write a program that could do the trick. So, here it is; an implementation of the Quine-McCluskey algorithm written in Python. Before writing the code, I had studied the implementation of Robert Dick, which can be found here: http://pypi.python.org/pypi/qm/0.2.

(more…)