[Software] Riduzione FSM e calcoli booleani/circuitali

[anotherjoe]

Salve,

per controllare i risultati a cui giungo con i procedimenti manuali, volevo chiedere se esiste un software che, dando in input una tabella degli stati di una macchina sequenziale sincrona, ne calcoli la riduzione.

Sempre per gli stessi fini, volevo chiedere se esiste un software che data in input un'espressione logica, ne estragga la semplificazione, magari mostri implicanti e implicati primi e primi essenziali e faccia conversioni per ricondursi alle forme NAND, NOR.

Grazie.

[g.schgor]

Non ho per il momento una risposta per il primo quesito,
ma per il secondo posso indicare questo articolo

[RenzoDF]

Noi sull'argomento, ne abbiamo un paio nei FreeTools di simulazione

a) http://www.electroportal.net/renzodf/wi ... lo15#Deeds

b) http://www.electroportal.net/renzodf/wi ... ole-Deusto

ma puoi anche provare per un mese il famoso StateWorks in versione LT

http://www.stateworks.com/product/product/

oppure passare ai prodotti gratuiti (e "pesanti") di Altera , ma qui devi chiedere a TardoFreak che è l'esperto del settore