Work

The AIGER And-Inverter Graph (AIG) Format Version 20071012

Year: 2021

Type: report

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.

Source: University Library Linz repository (Johannes Kepler Universitat Linz)

DOI: 10.35011/fmvtr.2007-1

Author: Biere, Armin

Institution: Johannes Kepler University of Linz

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2342889976

Cites: 6

Cited by: 36

Related to: 20