Цитата(dm.pogrebnoy @ Apr 12 2012, 23:54)

В xilinx ise даже вроде опция есть которая автоматом должна это делать, правда ни разу не пробовал, не знаю как на самом деле будет работать.
Так что, есть даже поддержка в САПР этого дела? кто нибудь сталкивался? тыкните где почитать. Или же нужно самому выделять часть логики и расписывать до таблицы истинности?