The package LogicOpt provides access to powerful logic minimization
algorithms that operate on a sum-of-products truth table. The core algorithms
are built on Espresso Version 2.3 developed at UC Berkeley for digital logic
synthesis purposes. The espresso C code has been extended extensively
to integrate within the R framework and support additional logic optimization
use cases that operate on R data frame tables. The primary interface to the
package is through the
New algorithms have been developed that leverage the espresso core routines
and data structures to support logic optimization use cases used by Qualitative
Comparative Analysis (QCA). See the "primes", "multi-min", and "multi-full"
options for the "mode" paramater in function
logicopt. These modes
along with the paramater find_dc=TRUE provide features similar to those
QCApro::eQMC but the espresso-based
routines here are able to handle much larger functions and run in less
runtime. Integration to QCA is through the
QCApro::truthTable functions provided in QCA packages QCAGUI
and QCApro respectively (other QCA packages may also work but have not
been tested). These functions provide the necessary functionality
to convert a raw QCA dataset into a QCA truth table (see documentation in those
packages for more details). The function
QCAtt2LOtt then provides
the last step to get to an expresso compatible truth table. See dataset
l.represent.1 for an example flow from a raw QCA dataset to
final optimized QCA results.
This package also contains a Genetic Programming use case where a maze
navigation program for a robot is optimized. See the paper referenced below
as well as the example truth table
l.robot1 for more details. The
logicopt option mode="echo" was developed to support the abiilty
to view the input truth table prior to optimization.
|License:||GPL (>= 2)|
Brayton, Robert King; Hachtel, Gary D.; McMullen, Curtis T.; Sangiovanni-Vincentelli, Alberto L.. (1984), Logic Minimization Algorithms for VLSI Synthesis, Kluwer Academic Publishers, ISBN 0-89838-164-9
Rudell, Richard L. (1986-06-05), "Multiple-Valued Logic Minimization for PLA Synthesis" Memorandum No. UCB/ERL M86-65 (Berkeley) http://www.eecs.berkeley.edu/Pubs/TechRpts/1986/ERL-86-65.pdf
Dusa, Adrian (2016). QCAGUI: Modern functions for Qualitative Comparative Analysis. R Package URL: http://cran.r-project.org/package=QCAGUI
Thiem, Alrik. 2016. Professional Functionality for Performing and Evaluating Qualitative Comparative Analysis. R Package Version 1.1-0. http://www.alrik-thiem.net/software
Keane, A.J. 2015. "Genetic Programming, Logic Design and Case-Based Reasoning for Obstacle Avoidance." Learning and Intelligent Optimization: 9th International Conference; pp.104-118
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.