Обнаружение ложных путей в последовательностных схемах А. Ю. Матросова, В. В. Андреева, С. В. Чернышов [и др.]
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.