Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
Logic synthesis is a design phase that optimizes abstract circuit representations and maps them to technology. Combined with Dennard scaling, this field of research has been the driving force behind the Digital Revolution, enabling the design of very large-scale integrated circuits. With CMOS devices at the nanometer range, scaling transistors down can no longer guarantee a financially and energetically sustainable exponential growth in computing power. Hence, the paramount need for speed improvements requires the development of more efficient synthesis paradigms. Technology-aware logic synthesis is a recent trend in the industry targeting the introduction of technological information early in the design flow. This approach yields improved Quality of Results, induced by a better correlation between RTL synthesis and physical implementation. A recent breakthrough in technology-aware delay synthesis enabled the optimization of circuit designs up to local optimality [1]. Further advancements in the field require extending optimality toward less-local circuit portions. The proposed approach for achieving this goal involves combining the results in two branches of research. On the one hand, there are technology-oriented synthesis heuristics. The presented symmetry-detection-based synthesis technique is an example [2]. On the other hand, there are flexible data structures for Boolean reasoning [3]. This proposal reviews the mentioned background [1]-[3] and discusses a strategy to advance the research toward higher-performance hardware.