We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Design Automation in Wonderland

Formal Metadata

Title
Design Automation in Wonderland
Subtitle
The EPFL Logic Synthesis Libraries
Title of Series
Number of Parts
561
Author
License
CC Attribution 2.0 Belgium:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
The EPFL logic synthesis libraries are a collection of open source C++ libraries for the development of logic synthesis applications. Today, there are six libraries focused on classical computing: alice, easy, kitty, lorina, mockturtle and percy. All libraries are well documented and tested. Furthermore, being header-only, the libraries can be readily used as core components in complex design automation systems, e.g., Yosys. In this talk, I will demonstrate how simple it is to compose these libraries to create a personalized synthesis tool capable of reading a Verilog description of a circuit, building a logic network out of it, optimizing the logic network, and then map it to lookup tables of six inputs (LUT6). The libraries: - The alice library is a lightweight wrapper for shell interfaces, which is the typical user interface for most design automation applications. It includes a Python interface to support scripting. - The lorina library is a parsing library for simple CAD file formats. - The kitty library is a truth table library for explicit representation and manipulation of Boolean functions. - The mockturtle library implements several logic network representations and logic optimization algorithms. - percy is an exact synthesis library with multiple engines to find optimum logic networks.