Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Logic synthesis

Known as: Hardware compilation, Synthesis, Logic design 
In electronics, logic synthesis is a process by which an abstract form of desired circuit behavior, typically at register transfer level (RTL), is… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
The often touted attractive attributes of printed/organic electronics are its mechanically flexible form-factor, low-cost, green… Expand
  • figure 1
  • figure 2
  • table I
  • table II
  • table III
Is this relevant?
Highly Cited
2006
Highly Cited
2006
This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the… Expand
  • figure 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Reversible logic finds many applications, especially in the area of quantum computing. A completely specified n-input, n-output… Expand
  • figure 3
  • figure 2
  • figure 1
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2003
Highly Cited
2003
A digital combinational logic circuit is reversible if it maps each input pattern to a unique output pattern. Such circuits are… Expand
  • table 1
  • table 2
  • table 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Reversible logic is an emerging research area. Interest in reversible logic is sparked by its necessity in quantum technologies… Expand
  • table 2.1
  • table 2.2
  • table 2.3
  • figure 2.1
  • figure 2.2
Is this relevant?
Highly Cited
1999
Highly Cited
1999
  • T. Sasao
  • Springer US
  • 1999
  • Corpus ID: 46037524
From the Publisher: Switching Theory for Logic Synthesis covers the basic topics of switching theory and logic synthesis in… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Recently reported logic style comparisons based on full-adder circuits claimed complementary pass-transistor logic (CPL) to be… Expand
  • figure 1
  • table I
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1996
Highly Cited
1996
From the Publisher: Logic Synthesis and Verification Algorithms blends mathematical foundations and algorithmic developments… Expand
Is this relevant?
Highly Cited
1991
Highly Cited
1991
This report is issued to provide documentation for the benchmark examples used in conjunction with the 1991 MCNC International… Expand
  • table 1
  • table 2
Is this relevant?
Highly Cited
1988
Highly Cited
1988
The results of a formal logic verification system implemented as part of the multilevel logic synthesis system MIS are discussed… Expand
Is this relevant?