![]() |
Звоните! (926)274-88-54 Бесплатная доставка. Бесплатная сборка. |
Ассортимент тканей График работы: Ежедневно. С 8-00 до 20-00. Почта: soft_hous@mail.ru |
![]() ![]() ![]() |
Читальный зал --> Программные средства foundation Definitions XOll XOUO XOl101 XOilOil = [Q1.Q2.Q3] = [ 0, 0. 0] = [ 0. 0, 1] = [ 0, 1. 0] = [ 0, 1, i] = [ 1. 0, 0] = [ 1, 0. 11 = [ 1. 1, 0] XOllOlll = [1, 1, 1] state diagran! S pin; pin istype reg; pin istype com; State variables State encodings
equations S.CLK = CLOCK; END SMEX4 Из-за этого предвидения автоматы с конвейерным выходом могут быть более трудными для понимания и проектирования, чем автоматы с выходом Мили. В приведенном примере нам пришлось изменить даже постановку задачи, чтобы приспособиться к новым требованиям. Достоинство конвейерного выхода связано с тем, что сигналы берутся непосредственно с регистровых выходов, и заключается в том, что они устанавливаются после изменения состояния быстрее. Табл. 7.31. Конечный автомат со встроенными огфеделениями сигналов на выходах типа Мили module SMEX4 title Cosbination-Lock State Machine Input and output pins CLOCK. X Q1..Q3 miK. HINT module SMEXS title Combination-Lock State Machine Input and output pins CLOCK, X QI. .Q3, UNLK, HINT Definitions XOll XQllO XOllOi XOllOil = [Qi,Q2,Q3] = [ 0, 0, 0] = [ 0, 0, 1] = [ 0, 1. 0] = [ 0, 1, 13 = [ 1, 0, 0] = с 1. 0, 1] = [ 1. 1, 0] xoiiOiil = [ 1, 1, i] state.diagraa S pin; pin istype reg; State variables State encodings
equations S-CLK = CLOCK; UNLK.CLK = CLOCK; HINT.CLK = CLOCK; END SMEX5 чем в случае выходов типа Мура или типа Мили, когда обычно необходима дополнительная комбинационная логика; при этом экономится время, равное задержке прохождения сигнала через несколько вентилей. Возможно, что в примере с кодовым замком не так уж важно открыть ваш замок или увидеть подсказку на несколько наносекунд раньше. Однако в быстродействующих устройствах исключение этой задержки может ифать решающую роль. Табл. 7.32. Конечный автомат со встроенными определениями сигналов на конвейерных выходах Input and output pins CLK, EN, DI..08 QI..Q8 pin; pin istype reg; Sets D = CD1..D83 ; Q = [Q1..Q83; equations Q.CLK = CLKj
END REG8EN Типичный подход к тестированию конечных автоматов заключается в составлении таких векторов, которые заставят автомат не только побывать во всех состояниях, но и пройти по всем переходам из каждого состояния. Главное отличие и основная трудность по сравнению с проверочными векторами для 7.11.6. Проверочные векторы Полезность проверочных векторов и офаничения в отношении возможностей их использования при проектировании последовательностных схем на языке ABEL те же, что и в случае комбинационных схем (см. раздел 4.6.7). Одно важное добавление в синтаксис проверочных векторов состоит в использовании константы . С, для обозначения фронта тактового сигнала {clock edge) О - 1 0. В табл. 7.33 приведена ABEL-профамма с проверочными векторами для простого 8-разрядного регистра с входом разрешения тактового сигнала. С помошью набора векторов проверяется возможность зафузки различных значений входных сигналов и способность регистра их удерживать. Табл. 7.33. Программа на языке ABEL с проверочными векторами для простого 8-разрядного регистра module REGSEN title 8-bit register with clock enable ООО «Мягкий Дом» - это Отечественный производитель мебели. Наша профильная продукция - это диваны еврокнижка. Каждый диван можем изготовить в соответствии с Вашими пожеланияи (размер, ткань и материал). Осуществляем бесплатную доставку и сборку. Звоните! Ежедневно! (926)274-88-54 Продажа и изготовление мебели. Копирование контента сайта запрещено. Авторские права защищаются адвокатской коллегией г. Москвы. |