Обнаружение ложных путей в последовательностных схемах А. Ю. Матросова, В. В. Андреева, С. В. Чернышов [и др.]
Material type: ArticleSubject(s): последовательностные схемы | ROBDD-графы | ложные пути | эквивалентная нормальная формаGenre/Form: статьи в журналах Online resources: Click here to access online In: Известия высших учебных заведений. Физика Т. 60, № 10. С. 170-178Abstract: Предлагается метод поиска ложных путей в схемах с памятью. В отличие от эвристических подходов, развиваемых зарубежными исследователями, разработан точный метод, основанный на использовании операций над ROBDD-графами, построенными по фрагментам комбинационной составляющей схемы с памятью. Метод позволяет выявить ложные пути в рамках ограничений на длину установочной последовательности и не требует построения комбинационных эквивалентов заданной длины. Обсуждаются возможности распространения предлагаемого подхода на схемы большей размерности.Библиогр.: 7 назв.
Доступ в сети ТГУ
Предлагается метод поиска ложных путей в схемах с памятью. В отличие от эвристических подходов, развиваемых зарубежными исследователями, разработан точный метод, основанный на использовании операций над ROBDD-графами, построенными по фрагментам комбинационной составляющей схемы с памятью. Метод позволяет выявить ложные пути в рамках ограничений на длину установочной последовательности и не требует построения комбинационных эквивалентов заданной длины. Обсуждаются возможности распространения предлагаемого подхода на схемы большей размерности.
There are no comments on this title.