Skip to content

Dbgen: AIG, MIG synthesis.

Вершков Максим Дмитриевич requested to merge dbgen_mig into main

Был у меня вопрос, касающийся названий всех этих сгенерированных баз. Как-то я его для себя решил, но не уверен, что моё решение сгодится. Сам код dbgen, наверно, желательно посмотреть. AIG сгенерировать не удалось: за ночь компьютер не справился. Также я модифицировал класс ConePremapper, сами же премапперы перевёл на синтез с помощью сгенерированных баз, таким образом, остался только ConeAigMapper, который синтезирует с помощью Минато-Морреале.

Merge request reports