The AIGER And-Inverter Graph (AIG) Format Version 20071012
Armin Biere
2021University Library Linz repository (Johannes Kepler Universitat Linz)37 citationsDOIOpen Access PDF
Abstract
This report describes the AIG file format as used by the AIGER library. The purpose of this report is not only to motivate and document the format, but also to allow independent implementations of writers and readers by giving precise and unambiguous definitions.
Topics & Concepts
Computer scienceFile formatWorld Wide WebImplementationProgramming languageGraphCode (set theory)Information retrievalSet (abstract data type)Theoretical computer scienceFormal Methods in VerificationPetri Nets in System ModelingModel-Driven Software Engineering Techniques