[rosedu-general] Xpresso - Proiect RSoC

[mihai maruseac]

Majoritatea dintre voi știți de ideea mea de a realiza un program ce
desenează singur circuite logice. Vara aceasta vreau să-l realizez
complet și de aceea aș dori să-l scot la RSoC.

Ce este Xpresso? E un program (scris în Haskell cu interfață grafică
oferită de Gtk) care primește la intrare (prin diverse metode) o
descriere a circuitului (algebrică, prin tabele de adevăr sau prin
descriere Verilog/VHDL dacă avem timp) alături de câteva constrângeri
(nu ai voie sa folosești decât porți Și-NU cu 2 și 3 intrări și
inversoare, numărul total de porți să nu fie peste 15, etc.) și oferă
la ieșire un fișier png cu schema circuitului minimizat în raport cu
anumite funcții de cost (probabil configurabile) și respectând
constrângerile impuse. Dacă este timp, aș implementa și varianta în
care s-ar introduce constrângeri prea restrictive, programul oferind
la ieșire indicații de relaxare a unui număr cât mai mic de
restricții. 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 voi realiza nici un fel de teste de formă de undă în interior). Nu
este sintetizator de cod Verilog sau de fișiere de încărcat în
FPGA-uri.

Aș lucra cu o echipă de 3-5 persoane dacă există. Știu sigur pe cineva
dar nu dau nume acum.

Feedback is welcome.

-- 
Mihai