Электронная библиотека (репозиторий) Томского государственного университета

Обеспечение тестируемости задержек путей при синтезе схем покрытием BDD-графов

Image Thumbnail Open in Browser | View Pdf in Internal Viewer | Download 465 KB
^