Publication

Biconditional BDD: A Novel Canonical BDD for Logic Synthesis targeting XOR-rich Functions

Related publications (41)

About
Privacy
Disclaimer

Graph Chatbot

Chat with Graph Search

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.

Biconditional BDD: A Novel Canonical BDD for Logic Synthesis targeting XOR-rich Functions

Graph Chatbot

Chat with Graph Search

SAT-Sweeping Enhanced for Logic Synthesis

SAT-Sweeping Enhanced for Logic Synthesis

SAT-Based Exact Synthesis for Multi-Level Logic Networks

On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis

Majority Logic Synthesis

Exploiting Satisfiability Solvers for Efficient Logic Synthesis

SyReC: A hardware description language for the specification and synthesis of reversible circuits

Majority-based Synthesis for Nanotechnologies

Unlocking efficiency and scalability of reversible logic synthesis using conventional logic synthesis

Ancilla-free synthesis of large reversible functions using binary decision diagrams

On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis

Majority Logic Synthesis

SAT-Sweeping Enhanced for Logic Synthesis

SAT-Sweeping Enhanced for Logic Synthesis

SAT-Based Exact Synthesis for Multi-Level Logic Networks

SyReC: A hardware description language for the specification and synthesis of reversible circuits

Majority-based Synthesis for Nanotechnologies

Exploiting Satisfiability Solvers for Efficient Logic Synthesis

Unlocking efficiency and scalability of reversible logic synthesis using conventional logic synthesis

Ancilla-free synthesis of large reversible functions using binary decision diagrams