CAD tool using AIG data structure. Final work for INF01205 from UFRGS