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

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2019
Review
2019
This tutorial provides a user-friendly technical document to assist those interested in developing item models using Computer… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
2019
2019
Majority-inverter graph (MIG) is a recently introduced Boolean network that enables efficient logic manipulation. Recent works… Expand
  • figure 1
  • figure 2
  • table I
  • table II
  • table III
2018
2018
Constructing algebraic polynomials using computer algebra techniques is believed to be state-of-the-art in analyzing gate-level… Expand
  • figure 1
  • table I
  • figure 2
  • figure 3
  • table II
Highly Cited
2016
Highly Cited
2016
In this paper, we propose a paradigm shift in representing and optimizing logic by using only majority (MAJ) and inversion (INV… Expand
  • figure 2
  • figure 3
  • figure 4
  • table I
  • table II
2012
2012
Linac x-ray and direct gamma irradiation sources were used in this study to irradiate simple polycrystalline alanine- in-glass… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2010
2010
Testimony before the Committee on Government Oversight and Reform, U.S. House of Representatives. 
Highly Cited
2009
Highly Cited
2009
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Highly Cited
2007
Highly Cited
2007
SAT sweeping is the process of merging two or more functionally equivalent nodes in a circuit by selecting one of them to… Expand
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
2006
2006
And-Inverter Graphs (AIGs) are an efficient and scalable representation for boolean formulas and circuits. We present a maximal… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4