aig models