Logic Synthesis for Established and Emerging Computing

Logic synthesis is an enabling technology to realize integrated computing systems, and it entails solving computationally intractable problems through a plurality of heuristic techniques. A recent push toward further formalization of synthesis problems has shown to be very useful toward both attempting to solve some logic problems exactly--which is computationally possible for instances of limited size today--as well as creating new and more powerful heuristics based on problem decomposition. Moreover, technological advances including nanodevices, optical computing, and quantum and quantum cellular computing require new and specific synthesis flows to assess feasibility and scalability. This review highlights recent progress in logic synthesis and optimization, describing models, data structures, and algorithms, with specific emphasis on both design quality and emerging technologies. Example applications and results of novel techniques to established and emerging technologies are reported

Automated Synthesis by Means of Genetic Programming of Complex Structures Incorporating Reuse, Parameterized Reuse, Hierarchies, and Development

Abstract: Genetic programming can be used as an automated invention machine to synthesize designs for complex structures. In particular, genetic programming has automatically synthesized complex structures that infringe, improve upon, or duplicate the functionality of 21 previously patented inventions (including analog electrical circuits, controllers, and mathematical algorithms). Genetic programming has also generated two patentable new inventions (involving controllers). Genetic programming has also generated numerous additional human-competitive results involving the design of quantum computing circuits as well as other substantial results involving antennae, networks of chemical reactions (metabolic pathways), and genetic networks. We believe that these results are the direct consequence of a group of techniques—many unique to genetic programming—that facilitate the automatic synthesis of complex structures. These techniques include automatic reuse, parameterized reuse, parameterized topologies, and developmental genetic programming. The paper describes these techniques and how they contribute to automated design