Линейные модели схем на многозначных элементах

Линеаризация и планаризация моделей схем занимает важное место в субмикронных технологиях. C другой стороны, в ряде случаев улучшить характеристики СБИС можно за счет использования многозначных элементов (МЭ). Показано, что любую $\ell$-уровневую схему на МЭ можно представить в виде алгебраической модели на основе $\ell$ линейных арифметических полиномов, отображаемых соответственно в $\ell$ линейных и планарных по своей природе диаграмм решений (ЛДР). Сложность представления схемы в виде ЛДР оценивается как $O(G)$, $G$ – число МЭ в схеме. Приводятся результаты тестирования алгоритма LinearDesignMV на схемах, содержащих более 8000 МЭ из базы LGSynth 93.