Проектирование функционально-логическое

Выбор библиотечного набора данных осуществляется монитором в соответствии с выполняемым этапом проектирования (функционально-логический, схемотехнический, конструкторский и т. п.). Таким образом, универсально адаптируемый транслятор настраивается на соответствующий раздел единого входного языка. [c.242]

Проектирование реализации (логическое проектирование) разделяют на две части проектирование базы данных и проектирование программ. Результатом первой части является логическая структура БД. Результатом второй части считают функциональные описания программных модулей и наборы запросов к БД. [c.98]

Особенностью цифровой РЭА является использование на функционально-логическом уровне проектирования в качестве моделей систем логических уравнений, а в качестве методов анализа — методов решения этих систем. [c.222]

При большой степени детализации маршруты представляются состоящими из проектных процедур, например для БИС имеем разработку алгоритма функционирования, абстрактный синтез конечного автомата, структурный синтез функциональной схемы, верификацию проектных решений функционально-логического проектирования, разбиение функциональной схемы, ее покрытие функциональными ячейками заданного базиса, размещение, трассировку, контроль соблюдения проектных норм и соответствия электрической и топологической схем, расслоение общего вида топологии, получение управляющей информации для фотонаборных установок. Возможна еще большая детализация маршрута с представлением проектных процедур совокупностями проектных операций, например структурный синтез функциональной схемы БИС можно разложить на следующие операции поиск эквивалентных состояний конечного автомата, реализацию памяти, кодирование состояний, определение функций выхода и возбуждения элементов памяти, синтез комбинационной части схемы. [c.357]

Другое направление сокращения времени на проверку корректности решений, принимаемых при функционально-логическом проектировании, связано с методами формальной верификации. В этих методах вместо многократного моделирования схемы при различных тестовых воздействиях выполняют сопоставление проект- [c.132]

САПР создается как иерархическая система, реализующая комплексный подход к автоматизации на всех уровнях проектирования. Так, в САПР технологических процессов обычно включают подсистемы структурного, функционально-логического и элементного проектирования (разработки принципиальной схемы технологического процесса, проектирования маршрута, проектирования операции, разработки управляющих программ для оборудования с ЧПУ). Иерархическое построение САПР относится также к специальному программному обеспечению и к техническим средствам (центральный вычислительный комплекс и автоматизированные рабочие места). [c.210]

Анализ дискретных устройств на функционально-логическом уровне требуется прежде всего при проектировании устройств вычислительной техники и цифровой автоматики. Здесь дополнительно к допущениям, принимаемым при анализе аналоговых устройств, используют дискретизацию сигналов, причем базовым является двузначное представление сигналов. Удобно этими двумя возможными значениями сигналов считать истину (иначе 1) и ложь (иначе 0), а сами сигналы рассматривать как булевы величины. Тогда для моделирования можно использовать аппарат математической логики. Находят применение также трех- и более значные модели. Смысл значений сигналов в многозначном моделировании и причины его применения будут пояснены далее на некоторых примерах. [c.120]

После получения результатов функционально-логического проектирования приступают к конструкторско-технологическому проектированию, синтезу тестов и окончательной верификации принятых проектных решений. [c.224]

Другое направление сокращения времени на проверку корректности решений, принимаемых при функционально-логическом проектировании, связано с методами формальной верификации. В этих методах вместо многократного моделирования схемы при различных тестовых воздействиях выполняют сопоставление проектного решения с некоторым эталоном методами, развиваемыми в теории дедуктивных систем. [c.227]

Типичные иерархические уровни функционального проектирования БИС и СБИС функционально-логический (на котором проектируются функциональные и логические схемы) схемотехнический (на котором разрабатываются принципиальные электрические схемы функциональных узлов и ячеек) компонентный (на котором решаются задачи проектирования элементов интегральных схем). К типичным иерархическим уровням функционального проектирования ЭВМ относятся системный и функционально-логический. При этом функционально-логический уровень часто разделяют на уровни регистровых передач и вентильный. [c.9]

Примеры маршрутов проектирования. Рассмотрим типичный маршрут проектирования ЭВМ на БИС. Проектирование начинается с разработки алгоритмов, реализуемых аппаратной частью ЭВМ. Алгоритмы записываются на одном из языков описания регистровых структур или микропрограмм. Модель ЭВМ, полученная на уровне регистровых передач, отрабатывается с помощью предлагаемых разработчиком тестов. Далее последовательно выполняются процедуры преобразования алгоритмического описания в функциональную схему, в которой элементами являются функциональные узлы, и покрытия этой схемы функциональными ячейками избранной топологии. Функционально-логическое проектирование завершается выполнением логической верификации, во время которой проверяется соответствие полученной схемы из функциональных ячеек исходному алгоритму функционирования. Обнаруженные ошибки устраняются путем возврата и повторного выполнения предыдущих процедур. [c.16]

Проектирование ЭВМ и вычислительных систем (ВС) на функционально-логическом и системном уровнях основано на применении дискретных ММ, При моделировании в подсистемах функционально-логического проектирования принимаются те же допущения, что и при моделировании аналоговых систем на верхних уровнях. Кроме того, моделируемый объект представляется совокупностью взаимосвязанных логических элементов, состояния которых характеризуются переменными, принимающими значения в конечном множестве, В простейшем случае это множество О, 1 , Непрерывное время t заменяется дискретной последовательностью моментов времени при этом длительность такта М = 1к+ —Ь- Следовательно, математической моделью объекта является конечный автомат (КА), Функционирование КА описывается системой логических уравнений [c.23]

Появление параллельных и конвейерных ВС, необходимость моделировать процессы функционирования не только аппаратных, но и программных средств ВС и сетей привело к появлению класса дискретных ММ, называемых сетями Петри. Сети Петри можно использовать для моделирования на функционально-логическом и системном уровнях проектирования ЭВМ, вычислительных систем и сетей. [c.24]

Определение свойств объекта (элемента), которые должна отражать модель. Включение в перечень таких отражаемых свойств, оценка которых не требуется для принятия проектных решений на определенном этапе проектирования, приводит к усложнению модели и нерациональному расходованию ресурсов САПР. Например, для процедур функционально-логического проектирования ММ логической микросхемы должна адекватно отражать свойство задержки сигналов, но излишне включать в нее оценки таких свойств, как габариты, масса, цвет и т. п. [c.25]

Другие примеры дедуктивных систем, используемых при функционально-логическом проектировании дискретных устройств,— исчисление предикатов или > -исчисление. Исчисления могут служить основой не только структурного синтеза, но и структурной верификации, цель которой — установление функциональной эквивалентности объектов, представленных двумя сопоставляемыми описаниями. [c.62]

АВТОМАТИЗАЦИЯ ФУНКЦИОНАЛЬНО-ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ [c.99]

Маршруты функционально-логического проектирования [c.99]

Основные задачи функционально-логического проектирования цифровой аппаратуры разработка алгоритмов, реализующих воплощаемые в аппаратуре функции, синтез и верификация функциональных и принципиальных схем, контролирующих и диагностических тестов. [c.99]

Автоматизация микропрограммирования. Маршруты функционально-логического проектирования начинаются с разработки алго- [c.100]

Моделирование функциональных схем. Модели дискретных устройств, используемые при функционально-логическом проектировании, могут отражать моделируемый объект с разной степенью подробности. Поэтому иерархический уровень функционально-логического проектирования делится на частные уровни системы команд (СК), регистровых передач (РП), логический (вентильный). [c.102]

Для решения задач функционально-логического проектирования предложено большое число алгоритмов. Однако лишь немногие из них применимы для решения задач большой размерности, характерных для проектирования современных ЭВМ. [c.113]

Организация событийного моделирования в логических схемах и в системах массового обслуживания имеет много общего (см. 4.2). Это прогнозирование момента события по данным о задержках элемента, упорядочение событий по времени наступления и образование списков текущих и будущих событий. Реализацию событийного метода в функциональных схемах осложняет возможность влияния новых событий на ранее запланированные, но еще неосуществленные. Новое событие может привести к отмене запланированного, вызвать изменение момента его совершения и т. п. В частности, отмена события должна происходить при инерциальных задержках. Влияние новых событий на ранее запланированные должно учитываться при разработке программного обеспечения функционально-логического проектирования. [c.123]

Топологическое проектирование СБИС. Проектирование СБИС имеет следующие особенности проектирование кристалла является очень сложным, поскольку значительная часть вычислительной аппаратуры размещается в одном кристалле СБИС проектирование СБИС должно быть бездефектным потому, что СБИС неремонтопригодна требуется полный автоматизированный анализ и верификация результатов всех этапов проектирования СБИС (системного, функционально-логического, схемотехнического, топологического, технологического) этапы проектирования СБИС тесно связаны между собой и не могут выполняться независимо друг от друга значительно возрастает роль эффективных алгоритмов размещения функциональных ячеек СБИС и трассировки межсоединений, так как в типовой СБИС транзисторы занимают (10.... .. 20) % всей площади кристалла, межсоединения — остальную площадь номенклатура СБИС может быть широкой при небольшом объеме выпуска каждого, отдельного типа СБИС. [c.173]

Первоочередные задачи дальнейшего развития САПР следующие разработка математического обеспечения для новых диапазонов размерностей задач функционально-логического и топологического проектирования, появляющихся в связи с продолжающимся ростом степени интеграции микросхем освоение новых средств технического обеспечения, порождаемых научно-техническим прогрессом 3 области вычислительной техники. [c.327]

Вместе с тем, ресурсы распространенных мини-ЭВМ и АРМ (емкость оперативной памяти, быстродействие, разрядность, емкость внешней памяти и надежность носителей) уже сейчас не дают возможности проектировать современную МЭА, интегральные микросхемы, базовые матричные кристаллы с учетом решения всех вопросов автоматизации схемотехнического, функционально-логического, технического и технологического проектирования. [c.11]

САПР создается как иерархическая система, реализующая комплексный подход к автоматизации на всех уровнях проектиро-вапня. Блочно-модульный иерархический подход к проектированию сохраняется при примепении САПР. Так, в технологическом проектнроБаипи механосборочного производства обычно включают подсистемы структурного, функционально-логического и элементного проектирования (разработка принципиальной схемы технологического процесса, проектирование технологического маршрута, проектирование операции, разработка управляющих программ для станков с ЧПУ). Возникает необходимость обеспечения комплексного характера САПР, т. е. автоматизации на всех уровнях проектирования. Иерархическое построение САПР относится не только к специальному программному обеспечению, [c.110]

Моделирование цифровой РЭА возможно с различной степенью детализации. На логическом (вентильном) подуровне функционально-логического проектирования в качестве элементов аппаратуры рассматривают простые схемы типа вентилей, на регистровом подуровне элементами могут быть как отдельные вентили, так и любые более сложные сочетания простых схем, например регистры, счетчики, дешифраторы, сумматоры, арифметико-логические устройства и т. п. [c.189]

Все процедуры, кроме 7, должны выполняться с по-мош,ью КТС САПР. Для КТС принята двухуровневая структура, включающая ЦВК и АРМ, связь между которыми осуществляется через связной процессор. Предполагается, что рассматриваемое АРМ имеет четыре рабочих места (РМ) и предназначено для обслуживания инженеров-схемотехников, а ЦБК связан со многими АРМ, реализующими маршруты приборно-технологического, функционально-логического и топологического проектирования. [c.362]

Проектирование СБИС многоуровневое, каждый уровень характеризуется своим МО, используемым для моделирования и анализа схем. В функциональном проектировании выделяют уровни системный, регистровый (RTL — Register Transfer Level, уровень регистровых передач), логический, схемотехнический, компонентный (приборно-технологический). Общее название регистрового и логического уровней — уровень функционально-логический. Преобладает нисходящий стиль проектирования, при котором последовательно вьшолняются процедуры системного, регистрового и логического уровней. В этих процедурах широко используются ранее принятые унифицированные решения, закрепленные в библиотеках функциональных ячеек, например, сумматоров, мультиплексоров, регистров и т. п. Эти библиотеки разрабатывают с помощью процедур схемотехнического и компонентного проектирования вне маршрутов проектирования конкретных СБИС. [c.224]

Основными HDL-языками, используемыми в современных САПР при функционально-логическом проектировании, начиная с охшсания алгоритмов и кон- [c.224]

Подсистема САПР — это составная структурная часть САПР, обладающая всеми свойствами системы и являющаяся самостоятельной системой. Подсистемы САПР могут быть проектирующими или обслуживающими. Первые из них непосредственно участвуют в выполнении проектных процедур, а вторые обеспечивают правильное функционирование первых. По степени универсальности подсистемы делятся на объектные, ориентированные на определенный класс проектируемых объектов, и на инвариантные — не связанные с какими-либо конкретными типами объектов. Типичные проектирующие подсистемы в САПР ЭВМ — подсистемы функционально-логического и конструкторского проектирования. Примером объектно-ориентированной подсистемы является подсистема конструкторского проектирования КМДП БИС, примером инвариантной подсистемы-подсистема параметрической оптимизации методами нелинейного программирования. Основные обслуживающие подсистемы управляющая (мониторная) система САПР и система управления базами данных. Промежуточное положение между проектирующими и обслуживающими подсистемами в большинстве САПР занимает подсистема машинной графики. [c.19]

Базовый элемент — элементарная часть синтезируемого объекта, которую невозможно или нецелесообразно разделять на более мелкие составные части. При синтезе механизмов в роли примитивов выступают детали, при синтезе радиоэлектронных схем — электрорадиоэлементы (резисторы, конденсаторы, трансформаторы и т. п.), при проектировании функциональных схем ЭВМ — логические элементы (дизъюнкторы, конъюнкторы, триггеры и т. п.). Основную часть сведений об элементе составляет перечень его свойств, называемых атрибутами. В перечне указываются имена атрибутов, в сведения могут также входить значения атрибутов, ссылки на другие элементы и процедуры, с помощью которых конкретизируются свойства или выявляются допустимые типы связей и т. п. [c.55]

Особенности автоматизации функционально-логического проектирования. Содержательная сторона создаваемых алгоритмов, реализуемых аппаратно и программно, определяется человеком. Средства автоматизации используются для ускорения и облегчения предст авления результатов проектирования в нужной форме. Проектировщик может записывать алгоритмы на удобном высокоуровневом языке. Преобразования алгоритмов из одной формы в другую, документирование результатов, контроль правильности и выявление ошибок можно в значительной мере автоматизировать. Такая автоматизация применительно к разработке программного обеспечения осуществляется в инструментальных подсистемах САПР (см. 11.2). Автоматизация разработки микропрограмм имеет свою специфику и реализуется в специальных подсистемах проектирования микропрограммируемых структур. [c.99]

Основной способ верификации схем при функционально-логическом проектировании — моделирование процессов в схеме при подаче на ее входы специальных тестовых воздействий. Для полного контроля работоспособности комбинационной схемы нужно выполнить столько вариантов моделирования, сколько различных комбинаций сигналов может появиться на ее входах. В последовательностной схеме проявление каждого входного воздействия зависит от состояния, в котором схема находилась перед возбуждением, т. е. от состояния ее элементов памяти. Если в схеме имеется п входов и пг элементов памяти, то оценкой числа вариантов моделирования оказывается значение 2"+ . Практическая реализация такого большого числа вариантов невозможна, необходимо уметь создавать тесты существенно меньшей длины и обеспечивающие достаточную полноту контроля. Важность проблемы тестирования обусловлена тем, что тесты нужны не только для верификации при проектировании схем, но и для контроля продукции в процессе производства. [c.100]

Значение автоматизации функционально-логического проектирования возросло после перехода к элементной базе на БИС и будет расти по мере повышения степени интеграции. Это обусловлено следующими основными причинами расширением технологических возможностей изготовления разнообразных специализированных БИС и СБИС и увеличением потока заказов на проектирование резким ростом требований к уровню бездефектности проектирования. [c.100]

ПРАМ 2.1 может использоваться для описания схем на любом уровне функционально-логического проектирования. Структуру операторов для описания комбинационных схем в подмножестве АВТОМАТ представим в виде У = Р1> <Р2, [c.104]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...