|
Title: Espresso κανείς ; Post by: pmousoul on July 05, 2010, 14:21:07 pm http://en.wikipedia.org/wiki/Espresso_heuristic_logic_minimizer "The Espresso logic minimizer is a computer program using heuristic and specific algorithms for efficiently reducing the complexity of digital electronic gate circuits.[1] Espresso was developed at IBM by Robert Brayton. Rudell later published the variant Espresso-MV in 1986 under the title "Multiple-Valued Logic Minimization for PLA Synthesis".[2]. Espresso has inspired many derivatives." "Software Minilog is a logic minimization program exploiting this ESPRESSO algorithm. It is able to generate a two-level gate implementation for a combinational function block with up to 40 inputs and outputs or a synchronous state machine with up to 256 states. It is part of the Publicad educational design package, that can be downloaded from the website http://pico1.e.ft.fontys.nl/publicad.html - free Publicad toolkit including Minilog logic minimization program. Logic Friday is a free Windows program that provides a graphical interface to ESPRESSO, as well as to misII, another module in the Berkeley Octtools package. With Logic Friday users can enter a logic function as a truth table, equation, or gate diagram, minimize the function, and then view the results in both of the other two representations. Logic Friday is available at http://www.sontrak.com. Espresso sources The source of the original Espresso program is available from the website of the University of California, Berkeley, at Pubs/Downloads/Espresso." Title: Re: Espresso κανείς ; Post by: pmousoul on July 05, 2010, 14:26:27 pm και για το Logic Friday "Logic Friday Free software for boolean logic optimization, analysis, and synthesis Logic Friday is a freeware tool for students, hobbyists, and engineers who work with legacy digital logic circuits based on standard IC packages. Current version: 1.1.1, released 11 September, 2009. What's new. With Logic Friday you can: * Enter a logic function as a truth table, an equation, or a gate diagram * Enter functions with up to 16 inputs and 16 outputs * Minimize a function with options of fast or exact minimization * Automatically generate a multi-level gate diagram using gates chosen from a library * Automatically minimize the number of standard gate packages * Trace the logic state of each gate's inputs and outputs for a given input vector * Compare logic functions * Generate new functions as logical combinations of others * View any function as a truth table, equation, or gate diagram * Generate efficient, compact C code lookup functions from logic functions * Save functions and gate diagram images to files * Export and import truth tables as CSV files for editing in spreadsheet applications. Logic Friday uses espresso for minimization and misII for gate diagram synthesis.* Both programs are included with the download. *Espresso and misII are copyright © 1988-1993, Regents of the University of California." http://sontrak.com/default.aspx και επειδή μία εικόνα είναι χίλιες λέξεις.. :) http://sontrak.com/screenshots.aspx |