ABSTRACT
We first present historical view on the techniques for two-level and multi-level logic optimizations, and discuss the practical issues with respect to them. Then the techniques for sequential optimizations are briefly reviewed. Based on them, a new approach which formulates ECO (Engineering Change Order) as partial logic synthesis is discussed. Finally a new formulation of an automatic generation of parallel/distributed computing from sequential one is introduced with an application example.
- Rajeev Alur, Dana Fisman, Rishabh Singh, and Armando Solar-Lezama. 2017. SyGuS-Comp17: Results and Analysis. In Proceedings of 4th Workshop on Synthesis (SYNT@CAV).Google Scholar
- Rajeev Alur, Rishabh Singh, Dana Fisman, and Armando Solar-Lezama. 2018. Search-Based Program Synthesis. In Communications of the ACM, Vol. 61, 12 (2018). Google ScholarDigital Library
- Karen A. Bartlett, Robert K. Brayton, Gary D. Hachtel, Reily M. Jacoby, Christopher R. Morrison, Richard L. Rudell, Alberto L. Sangiovanni-Vincentelli, and Albert R. Wang. 1988. Multi-level logic minimization using implicit don't cares. IEEE Transaction on CAD of Integrated Circuits and Systems, Vol. 7, 6 (1988), 723--740. Google ScholarDigital Library
- Robert K. Brayton and Alan Mishchenko. 2010. ABC: An Academic Industrial-Strength Verification Tool. In Proceedings of the 22nd International Conference on Computer Aided Verification. 24--40. Google ScholarDigital Library
- Robert K. Brayton, Richard L. Rudell, Alberto L. Sangiovanni-Vincentelli, and Albert R. Wang. 1987. MIS: A Multiple-Level Logic Optimization System. IEEE Transaction on CAD of Integrated Circuits and System, Vol. 6, 6 (1987), 1062--1081. Google ScholarDigital Library
- Robert King Brayton, Alberto L. Sangiovanni-Vincentelli, Curtis T. McMullen, and Gary D. Hachtel. 1997. Logic Minimization Algorithms for VLSI Synthesis. Kluwer Academic Publishers Norwell, MA, USA.Google Scholar
- Olivier Coudert and Jean Christophe Madre. 1992. Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions. In Proceedings of the 29th International Design Automation Conference . 36--39. Google ScholarDigital Library
- Masahiro Fujita. 2015. Toward Unification of Synthesis and Verification in Topologically Constrained Logic Design. Proc. IEEE, Vol. 103, 11 (2015), 2052--2060.Google ScholarCross Ref
- Masahiro Fujita, Satoshi Jo, Shohei Ono, and Takeshi Matsumoto. 2013. Partial synthesis through sampling with and without specification. In Proceedings of International Conference on Computer Aided Design. 787--794. Google ScholarDigital Library
- Masahiro Fujita and Alan Mishchenko. 2014. Efficient SAT-based ATPG techniques for all multiple stuck-at faults. In Proceedings of International Test Conference. 1--10.Google ScholarCross Ref
- Masahiro Fujita, Naoki Taguchi, Kentaro Iwata, and Alan Mishchenko. 2015. Incremental ATPG methods for multiple faults under multiple fault models. In Proceedings of International Symposium on Quality Electronic Design . Santa Clara, USA, 177--180.Google ScholarCross Ref
- Yusuke Matsunaga and Masahiro Fujita. 1989. Multi-level logic optimization using binary decision diagrams. In Proceedings of International Conference on Computer Aided Design. 556--559.Google ScholarCross Ref
- Edward J. McCluskey. 1956. Minimization of Boolean Functions. Bell System Technical Journal, Vol. 35, 6 (1956), 1417--1444.Google ScholarCross Ref
- Patrick McGeer, Jagesh Sanghavi, Robert Brayton, and Alberto Sangiovanni Vincentelli. 1993. Espresso-signature: a new exact minimizer for logic functions. In Proceedings of the 30th international Design Automation Conference. Dallas, Texas, 618--624. Google ScholarDigital Library
- Yukio Miyasaka, Ashish Mittal, and Masahiro Fujita. 2019. Synthesis of Algorithm Considering Communication Structure of Distributed/Parallel Computing. In Proceedings of International Symposium on Quality Electronic Design. Santa Clara, USA.Google ScholarCross Ref
- Willard Van Orman Quine. 1955. A Way to Simplify Truth Functions. The American Mathematical Monthly, Vol. 62, 9 (1955), 627--631.Google ScholarCross Ref
- E.M. Sentovich, K.J. Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P.R. Stephan, Robert K. Brayton, and Alberto L. Sangiovanni-Vincentelli. 1992. SIS: A System for Sequential Circuit Synthesis. Technical Report UCB/ERL M92/41. EECS Department, University of California, Berkeley. http://www2.eecs.berkeley.edu/Pubs/TechRpts/1992/2010.htmlGoogle Scholar
- Tiziano Villa, Timothy Kam, Robert King Brayton, and Alberto L. Sangiovanni-Vincentelli. 1984. Synthesis of Finite State Machines Logic Optimization .Kluwer Academic Publishers Norwell, MA, USA.Google Scholar
- Peikun Wang, Amir Masoud Gharehbaghi, and Masahiro Fujita. 2019. An Incremental Automatic Test Pattern Generation Method for Multiple Stuck-at Faults. In Proceedings of IEEE VLSI Test Symposium. Monterey, USA.Google Scholar
Index Terms
- Basic and Advanced Researches in Logic Synthesis and their Industrial Contributions
Recommendations
The Basic Constructive Logic for Absolute Consistency
In this paper, consistency is understood as absolute consistency (i.e. non-triviality). The basic constructive logic BKc6, which is adequate to this sense of consistency in the ternary relational semantics without a set of designated points, is defined. ...
Completeness and Counter-Example Generations of a Basic Protocol Logic
We give an axiomatic system in first-order predicate logic with equality for proving security protocols correct. Our axioms and inference rules derive the basic inference rules, which are explicitly or implicitly used in the literature of protocol ...
The Basic Constructive Logic for Negation-Consistency
In this paper, consistency is understood in the standard way, i.e. as the absence of a contradiction. The basic constructive logic B Kc4 , which is adequate to this sense of consistency in the ternary relational semantics without a set of designated ...
Comments