And-inverter graph

Known as: AIG (disambiguation), FRAIG 
An and-inverter graph (AIG) is a directed, acyclic graph that represents a structural implementation of the logical functionality of a circuit or… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1989-2016
012319892016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Power consumption minimization is an important design goal for digital circuits. To cope with the limitation of traditional… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 4
Is this relevant?
2016
2016
In this paper, we propose a paradigm shift in representing and optimizing logic by using only majority (MAJ) and inversion (INV… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • table II
Is this relevant?
2016
2016
A Majority-Inverter Graph (MIG) is a directed acyclic graph in which every vertex represents a three-input majority operation and… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • table II
Is this relevant?
2016
2016
Latest quantum technologies promise realization of extremely large circuits, whereas, reversible logic synthesis, the key… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2013
2013
Linac x-ray and direct gamma irradiation sources were used in this study to irradiate simple polycrystalline alaninein-glass (AiG… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
We consider architecture and synthesis techniques for FPGA logic elements (function generators) and show that the LUT-based logic… (More)
Is this relevant?
2009
2009
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifierfree finite-precision bit-vector… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2006
2006
And-Inverter Graphs (AIGs) are an efficient and scalable representation for boolean formulas and circuits. We present a maximal… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
2006
2006
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the… (More)
  • figure 1
  • figure 2
Is this relevant?
1989
1989
In this note we shaii prove that non primitive recursive functions have transcendental generating series. This resuit translates… (More)
Is this relevant?