11 research outputs found
On the orderability problem for PLA folding
AbstractAn interesting graph theoretic problem, called the orderability problem for programmable logic array (PLA) folding, was formulated and shown to be NP-complete. We show that a closely related problem, called the orderability problem for bipartite folding, is solvable in linear time
An Algorithm for Optimal Bipartite PLA Folding
This paper presents some results of PLA area optimizing by means of its column and row folding. A
more restricted type of PLA simple folding is considered. It is introduced by Egan and Liu and called as
bipartite folding. An efficient approach is presented which allows finding an optimal bipartite folding without
exhaustive computational efforts
СВЕРТКА РЕГУЛЯРНЫХ МАТРИЧНЫХ СТРУКТУР ЗАКАЗНЫХ СБИС МЕТОДОМ МОДЕЛИРОВАНИЯ ОТЖИГА
Рассматривается задача топологической оптимизации программируемых логических матрицметодом свертки. Предлагаются алгоритмы многократной и простой сверток регулярных струк-тур СБИС на основе моделирования отжига, позволяющие находить оптимальное или близкое к нему решение задачи свертки. Приводятся результаты исследования предложенных алгоритмов свертки
МИНИМИЗАЦИЯ НА ТОПОЛОГИЧЕСКОМ УРОВНЕ ПЛОЩАДИ РЕГУЛЯРНЫХ СХЕМ С ПОСЛЕДОВАТЕЛЬНЫМ СОЕДИНЕНИЕМ МОП ТРАНЗИСТОРОВ
Исследуется проблема оптимизации площади одного из типов матричных структур управляющей логики заказных СБИС на основе регулярных схем с последовательным соединением МОП‑транзисторов (РМОП-схем) на этапе топологического проектирования. Рассматриваются особенности структурной организации топологии РМОП-схем и возможности минимизации площади кристалла, основанной на свертке. Определяются ограничения, накладываемые особенностями топологии РМОП-схемы на вид ее свертки. Показывается, как эти ограничения могут быть учтены при двудольной свертке РМОП-схемы
МНОГОКРАТНАЯ СВЕРТКА РЕГУЛЯРНЫХ СТРУКТУР НА ОСНОВЕ РЕШЕНИЯ ЛОГИЧЕСКИХ УРАВНЕНИЙ
The problem under consideration is to reduce the area of the layout of regular VLSI structures by means of their multiple folding. The method of solving the key problem of multiple folding, which is implementability checking of the folding set, is suggested. The method is based on the task reduction to solving a logic equation and checking Boolean satisfiability of a conjunctive normal form.Рассматривается задача минимизации площади регулярных матричных структур заказных СБИС методом многократной свертки. Предлагается метод решения ключевой проблемы многократной свертки – проверки реализуемости множества свертки, который основывается на сведении задачи к решению логического уравнения и проверке выполнимости конъюнктивной нормальной формы
A Tutorial on Clique Problems in Communications and Signal Processing
Since its first use by Euler on the problem of the seven bridges of
K\"onigsberg, graph theory has shown excellent abilities in solving and
unveiling the properties of multiple discrete optimization problems. The study
of the structure of some integer programs reveals equivalence with graph theory
problems making a large body of the literature readily available for solving
and characterizing the complexity of these problems. This tutorial presents a
framework for utilizing a particular graph theory problem, known as the clique
problem, for solving communications and signal processing problems. In
particular, the paper aims to illustrate the structural properties of integer
programs that can be formulated as clique problems through multiple examples in
communications and signal processing. To that end, the first part of the
tutorial provides various optimal and heuristic solutions for the maximum
clique, maximum weight clique, and -clique problems. The tutorial, further,
illustrates the use of the clique formulation through numerous contemporary
examples in communications and signal processing, mainly in maximum access for
non-orthogonal multiple access networks, throughput maximization using index
and instantly decodable network coding, collision-free radio frequency
identification networks, and resource allocation in cloud-radio access
networks. Finally, the tutorial sheds light on the recent advances of such
applications, and provides technical insights on ways of dealing with mixed
discrete-continuous optimization problems
A new algorithm for factorization of logic expressions
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996.Includes bibliographical references (leaves 53-54).by Farzan Fallah.M.S