edit

Proiecte > Xpresso

Ce este Xpresso? Un program care primește la intrare (prin diverse metode) o descriere a circuitului (algebrică, prin tabele de adevăr sau prin descriere Verilog/VHDL ceva apropiat de o descriere naturală) alături de câteva constrângeri (număr și tip porți, etc) și oferă la ieșire un fișier png cu schema circuitului minimizat în raport cu anumite funcții de cost (configurabile), respectând constrângerile impuse. Ulterior, poza png poate fi inclusă și-ntr-un document LaTeX.

Ce _nu_ este Xpresso? Nu este _doar_ un minimizator de circuite logice simple. Nu este un program care desenează _doar_ porți logice simple. Nu cere intervenția utilizatorului în procesul de desenare (decât dacă sunt prea multe restricții). Nu este un simulator de circuite logice. Nu este sintetizator de cod Verilog.

Pentru mai multe detalii vizitați pagina proiectului.

Dezvoltare: Proiect în stadiu de pornire

Tehnologii: Haskell, Gtk

Responsabili proiect: Mihai Maruseac

Persoane implicate: Irina Gradinaru, Lucian Mogosanu

Contact:

email: mihai.maruseac[at]gmail[dot]com

YIM: mmaruseacph2

telefon: 0727 233 516