Статья

Название статьи ЛОГИКО-ВРЕМЕННОЙ АНАЛИЗ НАНОМЕТРОВЫХ СХЕМ НА ОСНОВЕ ИНТЕРВАЛЬНОГО ПОДХОДА
Автор С.В. Гаврилов, О.Н. Гудкова, А.Н. Щелоков
Рубрика РАЗДЕЛ II. АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ]
Месяц, год 07, 2012
Индекс УДК 621.3.049.771.14
DOI
Аннотация Данная статья посвящена разработке методики анализа быстродействия сложнофункциональных блоков на основе интервального моделирования с учетом неопределенностей параметров элементов. В отличии от традиционного анализа быстродействия на основе моделирования тестовых последовательностей с упорядочиванием событий во времени, предлагаемая методика обеспечивает упорядочивание в пространстве от первичных входов к первичным выходам. Этим достигается анализ логически совместимых путей, сочетающий в себе высокую скорость алгоритма анализа критических путей с приемлемой точностью на основе точных моделей задержек.

Скачать в PDF

Ключевые слова Сложно-функциональный блок (СФ-блок); логико-временной анализ; SP-граф; статический временной анализ.
Библиографический список 1. Agarwal, D. Blaauw, and V. Zolotov. Statistical timing analysis for intra-die process variations with spatial correlations. In IEEE/ACM International Conference on Computer-Aided Design (ICCAD). San Jose, CA, November 9-13 2003. – P. 900-907.
2. Warmus M. Calculus of approximations // Bull. Acad. Polon. Sci. – Cl. III. – 1956.– Vol. IV, № 5. – P. 253-259.
3. Sunaga T. Theory of an interval algebra and its application to numerical analysis // RAAG Memoirs. – 1958. – Vol. 2, Misc. II. – P. 547-564.
4. Шокин Ю.И. Интервальный анализ. – Новосибирск: Наука, 1981. – 112 с.
5. Калмыков С.А., Шокин Ю.И., Юлдашев З.Х. Методы интервального анализа. – Новосибирск: Наука, 1986. – 223 с.
6. R.E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation // IEEE Trans. on Computers, 1986. – P. 677-691.
7. Karem A. Sakallah. Functional Abstraction and Partial Specification of Boolean Functions // The University of Michigan, 1995.
8. Черемисинова Л.Д., Новиков Д.Я. Проверка схемной реализации частичных булевых функций.
9. Yu-Min Kuo, Yue-Lung. Efficient Boolean Characteristic Function for Fast Timed ATPG // ICCAD'06, 2006.
10. M. Moskewicz, C. Madigan, Y. Zhao, L. Zhang, S. Malik. Chaff: Engineering an Efficient SAT Solver” Proc. DAC 2001.
11. Bobba S., Hajj I.N. Estimation of maximum current envelope for power bus analysis and design// Int. Symp. on Phys. Des. – 1998. – P. 141-146.
12. R.E. Bryant. Boolean Analysis of MOS Circuits // IEEE Transactions on Computer-Aided Design of Integrated Circuits. – 1987. – P. 634-649.

Comments are closed.