Code and Bugs

Coding things

Category: Xpresso

Xpresso (2)

Some few more hours of work and now we have the wires. The proof oc concept is ready, now it is time to start writing the project’s specifications in full.

Read the rest of this entry »


Xpresso is the name of a program I wanted to create a year ago. Basically, it is a program capable of taking as input any logical description and some constraints and gives as output a representation of that circuit, both minimized and constrained by the specified restrictions.

Read the rest of this entry »


Get every new post delivered to your Inbox.