Abstract-Vi föreslår en metod för Booleska matchning under permutationer av in- och utgångar (PP-ekvivalens kontroll problem) -ett viktigt steg i inkrementell logik design som identifierar stora delar av en nätlista som inte påverkas av en ändring i specifikationer. Hitta återanvändbara delar av en nätlista minskar mängden arbete i varje design iteration och påskyndar konstruktion stängning. Vårt tillvägagångssätt integrerar grafbaserade, simuleringsdrivna och SAT-baserade tekniker för att göra booleska matchningar möjliga för stora kretsar. Experimentella resultat bekräftar skalbarheten av våra tekniker till kretsar med hundratals och till och med tusentals ingångar och utgångar.
Författarna till REF forskade grafbaserad, simuleringsdriven och SAT-baserad PP Booleansk matchning, genomförande PP Boolesk likvärdighet-kontroll för storskaliga kretsar.
Large-scale Boolean Matching
{'venue': '2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)', 'journal': '2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)', 'mag_field_of_study': ['Computer Science']}