Home

Literature

Моделирование, тестирование и диагностика цифровых устройств

:

Modeling, Testing and Diagnosis of Digital Devices

: Literature
[+]
Created: 05.09.2012 | Level: for all | Access: paid | University: Московский государственный университет путей сообщения
  • 1.
    Principles of testing electronic systems
    John Wiley&Sons, 2000. – 420p
  • 2.
    Логическое моделирование и тестировании цифровых устройств
    Донецк:ИПММ НАНУ, ДонНТУ, 2005.-436с
  • 3.
    CMOS digital integrated circuits
    Analysis and design, Boston, McGrow-Hill, 1999
  • 4.
    Digital logic testing and simulation
    John Wiley&Sons, 2003.-673p
  • 5.
    Моделирование и тести-рование дискретных устройств
    Киев: Наукова думка, 1992. – 288с
  • 6.
    Введение в дискретную математику
    М.:Наука, 1979
  • 7.
    Digital System Testing and Testable Design
    New York: Computer Science Press, 1990. – 652p
  • 8.
    Essentials of electronic testing for digital, memory and mixed-signal VLSI circuits
    Kluwer academic publishers, 2001. – 690 p
  • 9.
    Combinatorial Problems of Sequential Benchmark Circuits // Proc. IEEE Int. Symp.Circuits and Systems
    Los Alami-tos, Calif.:IEEE Computer Soc. Press., 1989. – P.1929-1934
  • 10.
    Синтез логических схем с использованием языка VHDL
    М.: СОЛОН-Рб, 2002. – 384 с
  • 11.
    Автоматизированное проектирование цифровых устройств
    М.:Радио и связь, 1981. – 240 с
  • 12.
    A systematic approach to multivalued digital simula
    tion
  • 13.
    A logic system for fault test generation
  • 14.
    Pseudo-boolean logic circuits
    IEEE Trans. On Comput. – 1986. – C.35, N7. – P.602-612
  • 15.
    Основы технической диагностики
    М.: Энергия, 1976.-464с.
  • 16.
    Тестирование КМОП-схем
    Автоматика и телемеханика. – 1991. – №2. – с.3-34
  • 17.
    Fault models and test generation for hardware-software covalidation
    IEEE Design and Test of computers. – 2003. – Vol.20,N.4. – P.40-47
  • 18.
    Test generation for crosstalk faults effects in VLSI circuits
    IEEE international symposium on circuits and systems, Vol.4,pp.628-631
  • 19.
    Digital logic simulation in a timed-based, table-driven environment. Part 2. Parallel Fault Simulation
    Computer, IEEE Comp. Society. – 1975. – N3. – P.38-49
  • 20.
    Fault simulation for structured VLSI
    VLSI Systems Design, Vol.6.-N12,December.-P.20-32
  • 21.
    A deductive method of simulation faults in logic circuits
    IEEE transactions,Vol.C-21.-N5.-P.464-471
  • 22.
    Comparison of fault simulation methods – treatment of unknown values
    Journal digital system. – 1980. – N4. – P.443-459
  • 23.
    Многозначное дедуктивное моделирование цифровых устройств
    Автоматика и вычислительная техника. – 1982. – №4. – С.77-82
  • 24.
    Concurrent simulation of nearly identical digital networks
    Computer,vol.7.-1974.-N4.-P.39-44.
  • 25.
    Programmed algorithms to compute tests to detect and distinguish between failures in logic circuits
    IEEE Transactions on Electronics Computers, vol.TC-16,N5.-1967.-P.567-580
  • 26.
    Differential fault simulation for sequential circuits
    Journal of electronic testing: theory and applications,vol.1,N1.-1990.-P.7-13.
  • 27.
    PROOFS: a fast, memory-efficient sequential circuit fault simulator
    IEEE transaction on computer aided design.-vol.11,1992.-N.2.-P.198-207
  • 28.
    On delay fault testing in logic circuits
    IEEE Transactions on Computer-aided design. – 1987. – N5. – P.694-704
  • 29.
    Comparison of self-testing procedures
    Proc. Int. Test. Conf. – 1983. – P.89-94
  • 30.
    Parallel pattern fault simulation of path delay faults
    Proc. 26th ACM/IEEE Design Automation Conference. – 1989. – P.357-363
  • 31.
    Анализ диагностических тестов для комбинационных логи-ческих схем методом обратного прослеживания неисправностей
    Автоматика и телемеханика. – 1977. – №8. – C.168-176
  • 32.
    Critical path tracing – alternative to fault simulation
    Proc. 20-th Design Automation Conference. – 1983. – P.214-220. Lin C.J., Reddy S.M. On delay fault testing in logic circuits // IEEE Transactions on Computer-aided design. – 1987. – N5. – P.694-704
  • 33.
    Statistical fault analysis
    IEEE Des. Test. Vol.2, N1, February 1985.- P.38-44
  • 34.
    STAFAN: an alternative to fault simulation
    Proc. 21-st D.A. Conf.-1984.-P.18-23
  • 35.
    Polynomially complete fault detection problem
    IEEE Trans. On Computers. – 1982. – N3. – P.242-249
  • 36.
    A neutral netlist of 10 combinational benchmark circuits and a target translator in Fortran
    Proc. of Int. Symposium of circuits and Systems, ISCAS-85. – 1985. – P.662-695
  • 37.
    ISCAS-89
  • 38.
    RT-level ITC99 benchmarking and first ATPG results
    IEEE Design&Test, Special issue on benchmarking for Design and Test. – 2000. – July-August. – P.44-53
  • 39.
    When to use random testing
    IEEE Trans.Comput. – 1978. – C27, N11. – p.1054-1055
  • 40.
    The weighted random test-pattern generator
    IEEE Trans.Comput. – 1975. – C24, N7. – P.695-700
  • 41.
    Automated diagnostic programs for digital networks
    Comput. Des. – 1971. – N8. – P.63-67
  • 42.
    An algorithm for the test generation of tests sets for combinational logic networks
    IEEE Trans. Comput. – 1975. – N7. – P.742-746
  • 43.
    The *-algorithm – critical traces for functions and CHDL constructs
    Proc. IEEE Int. Test. Conf. – 1983. – P.90-97
  • 44.
    Диагностика отказов цифровых вычислительных систем
    Под ред. И.Б.Михайлова.-М.:Мирб 1972.-232с
  • 45.
    Diagnosis of Automata Failures: a calculus and a method
    IBM J. Res. And Develop. – 1966.– N7. – P.278-291
  • 46.
    An implicit enumeration algorithm to generate tests for combinational logic circuits
    IEEE Trans. On Comput. – 1981. – C-30, N3. – P.215-222
  • 47.
    On the acceleration of test generartion algorithms
    IEEE Trans. Comput. – 1983. – N12. – P.1137-1144
  • 48.
    Digital logic testing and simulation
    AJohn Wiley&Sons Inc.Publication.:2003.-696p
  • 49.
    A nine-valued circuit model for test generation
    IEEE Trans.Comput.-1976.—N6.—P.630—636
  • 50.
    Split circuit model for test generation
    Proc. 25th design automation conf., Anaheim. CA, June 1988.-P.96-101
  • 51.
    A logic system for fault test generation
    IEEE Trans. on Comp.-1976.-N6.-P.620-630
  • 52.
    A method to calculate necessary assignments in algorithmic test pattern generation
    Proc.1990 Int. test conf.-1990.-P.25-34
  • 53.
    Построение тестов для последовательностных цифровых схем в 16-значном алфавите
    Электронное Моделирование,1997, №1 С.50-58
  • 54.
    Test pattern generation using Boolean satisfiability
    IEEE Trans.CAD.-January 1992.-P.4-15
  • 55.
    Построение и анализ вычислительных алгоритмов.
    Мир:1979.- с.536
  • 56.
    A linear-time algorithm for testing the truth of certain quantified Boolean formulas
    Information processing letters. -1979-8.-P/121-123
  • 57.
    Fault simulation for structured VLSI
    VLSI Systems Design, Vol.6.-N12,December.-P.20-32
  • 58.
    Binary decision diagrams
    IEEE Trans. Computers,vol.27,No.6,July 1978.-P.509-516
  • 59.
    Graph-based algorithms for boolean functions manipulation
    IEEE Trans. Computers, vol.C-35,No.8, Aug.1986.-P.667-690
  • 60.
    Генерация тестов цифровых схем с использованием альтернативных графов
    Труды Таллиннского технического университета.-Таллин:№409. 1976.-С.75-81
  • 61.
    Test synthesis with alternative graphs
    Design&Test of Computers.-vol.13.-1996.-N1.-P.48-57
  • 62.
    Test generation for LSI:a case study.
    Proc.21st Des.Autom.Conf.-1984.-P.180-195
  • 63.
    Введение в теорию конечных автоматов.
    М.:Наука, 1966. – 272c
  • 64.
    Fault detection experiments for sequential circuits
    Proc. 5-th Annual Symp. “Switching theory and logic design”. – 1964. – P.95-110
  • 65.
    Checking experiments for sequential machines
    IEEE Transactions on Computers. – 1971. – C-20. – P.1152-1166
  • 66.
    An implicit enumeration algorithm to generate tests for combinational logic circuits
    IEEE Trans. On Comput. – 1981. – C-30, N3. – P.215-222.
  • 67.
    On the acceleration of test generartion algorithms
    IEEE Trans. Comput. – 1983. – N12. – P.1137-1144
  • 68.
    A heuristic algorithm for testing of asynchronous circuits
    IEEE Trans. on Comp. – 1971. – N6. – P.639-647
  • 69.
    An interactive sequential test generation systems
    Proc.1989 Int. test Conf. – 1989. – P.38-46
  • 70.
    Fast test generation for sequential circuits
    IEEE Trans, on Comp. – 1989. – N3. – P.354-357
  • 71.
    Techniques to increase sequential ATPG performance
    Proc. IEEE VLSI test sympos. – 1992. – P.257-262
  • 72.
    Diagnosis and reliable design of digital systems.
    Comput. Sci. Press. – 1976. – 308p
  • 73.
    Аналитический метод построения различающих последовательностей для дискретных устройств / Ю.А.Скобцов, Д.В.Сперанский
    Автоматики и телемеханика. –1980. – №1. – С.122-130
  • 74.
    Структурно-аналитический подход в задачах диагностики синхронных последовательностных схем
    Электронное моделирование. – 1980. – №4. – С.32-38
  • 75.
    The multiple observation time strategy
    IEEE Transactions on Computers. – 1992. – Vol. 41. – N 5. – P.627-637
  • 76.
    Hybrid fault simulation for synchronous sequential circuits
    Journal of electronics: Theory and applications. – 1999. – N15. – P.219-238.
  • 77.
    Graph–based algorithms for Boolean functions manipulation
    IEEE Transactions on Computers. -1986.-P.677-691
  • 78.
    Основы эволюционных вычислений: учебное пособие
    Донецк: ДонНТУ, 2008. – 326 с
  • 79.
    Hierarchical test pattern generation using a genetic algorithm with a dynamic global reference table
    First IEE/IEEE international Conference on – Genetic Algorithms in Engineering Systems: Innovations and Applications.-No.414,12-14 September 1995.-pp.517-523
  • 80.
    Application of Simple Genetic Algorithm to Sequential Circuit Test Generation
    Proc. European Design & Test Conf. – 1994. – P.40-45
  • 81.
    An Automatic Test Pattern Generator for Large Sequential Circuits based on Genetic Algorithms
    Proc. Int. Test Conf. – 1994. – P.240­249
  • 82.
    CRIS: A Test Cultivation Program for Sequential VLSI Circuits
    In Proc. Int. Conf. on Computer Aided Design. – 1992. – P.216-219
  • 83.
    Automatic test generation using genetically-engineered distinguishing sequences
    In Proc. IEEE Test Symp. – 1996. – P.216-223
  • 84.
    Компактное тестирование
    Автоматика и телемеханика. - 1982.-№2.- с.173-189
  • 85.
    Контроль и диагностика цифровых узлов ЭВМ.
    Минск: Наука и техника, 1988.-240 с
  • 86.
    Testing logic circuits with compressed data
    Digest of papers FTCS-8.-1978.-p.p. 108-113
  • 87.
    Compact testing : Testing with compressed data
    Digest of papers FTCS-6.-1976.-p.p.93-98
  • 88.
    Check-sum test method
    Pittsburg, PA, USA, 1976.-p.p.114-119
  • 89.
    Transition count testing of combinational logic circuits
    IEEE Trans. Comput.-1976.-№ 6.-p.p.613-620
  • 90.
    Sindrome – testable design of combinational circuits
    Digest of papers FTCS-9.-1979.-p.p.137-140
  • 91.
    Sindrome – testable design of combinational circuits
    IEEE Trans. Comput.-1979.-№ 6.-p.p.442-451
  • 92.
    Data compression technique for Built-in-Self Test
    Digest of papers FTCS-15.-1985.-p.p.243-248
  • 93.
    A note on testing logic circuits by transition counting
    IEEE Trans. Comput.-1977.- Vol.26.-№3.-p.p.313-314
  • 94.
    The weighted syndrome sums approach to VLSI testing
    IEEE Trans. Comput.,-1981.-Vol.-30.-№2.-p.p.996-1000
  • 95.
    Syndrome-testable can be achived by circuit modification
    IEEE Trans. Comput.-1981.-Vol.-30.-№8.-p.p.604-606
  • 96.
    A practical approach to fault detection in combi-national networks
    IEEE Trans. Comput.-1972.- Vol.-27.-№10.-p.p. 968-971
  • 97.
    Линейные последовательностные машины.
    М.: Наука, 1974.-274
  • 98.
    Аналитические методы в задачах контроля и анализа дискретных устройств.
    Саратов: Изд-во Сарат. ун-та, 1986
  • 99.
    Fault dictionary size reduction through test response superposition
    Proceed. of 2002 IEEE Intern. Conf. on Computer Design: VLSI in Computer.- Freiburg, Germany, 2002.-P.p. 480-485
  • 100.
    Fault dictionary compaction by output sequense removal
    Proceed. of ACM Intern. Conf. on Computer- Aided Design.-San Jose, CA, USA: 1994..-P.p.576-579
  • 101.
    Full fault dictionary storage based on labeled tree encoding
    Proceed. of 14-th VLSI Test Symposium.-Princeton, NJ, USA :1996.-P.p.174-179
  • 102.
    Creating small fault dictionaries
    IEEE Trans. on Computer- Aided Design of Integrated Circuits and Systems.- 1999.-Vol. 18, №3.-P.p.346-356
  • 103.
    On the generation of small dictionaries for fault location
    Proceed. of ACM Intern. Conf. on Computer- Aided Design.-Santa Clara, CA, USA: 1992.-P.p.272 - 279
  • 104.
    Integrated guided probe and fault dictionary
    Proceed. of 1986 Intern. Test Conf.- Washington, DC, USA: 1986.- P. p.304-311
  • 105.
    The modern fault dictionary
    Proceed. of 1985 Intern. Test Conf. - Philadelphia, PA,USA: 1985.- P.p.696- 702
  • 106.
    Two- stage fault location
    Proceed. of 1991 Intern. Test Conf. – Nashville, TN: 1991.- P.p. 963-968
  • 107.
    Трудоемкость поиска неисправностей как критерий качества при сокращении объема диагностической информации
    Электронное моделирование.- 1980.- № 4- с. 83-86
  • 108.
    Метод сокращения диагностической инфрмации
    Автоматика и телемеханика.-1977.-№4.- с.160-164.
  • 109.
    Об одном алгортиме поиска маски диагностической информации
    Известия Сарат.ун-та. Новая серия. Серия Математика. Механика. Информатика.-2008.-Т.8.-№8.-с.77-84
  • 110.
    Генетические алгоритмы для сокращения диагностической информации
    Автоматика и телемеханика.- 2008.- № 7- с. 77-84
  • 111.
    Об одном подходе к решению задач сокращения диагностической информации
    Автоматика и телемеханика.-1984.-№3.- с.151-160
  • 112.
    Методы минимизации разрешающей способности и диагностической информации
    Автоматика и телемеханика.- 1975.-№3.- с.133-141
  • 113.
    Улучшение точности диагностирования дискретных устройств при использовании ограниченного числа дополнительных выходов
    Электронное моделирование.- 1982.- №1.- с.64-68
  • 114.
    Методы предварительной обработки и формы задания диагностической информации для поиска неисправностей дискретных устройств
    Автоматика и телемеханика.-№4.- с.165-175
  • 115.
    Особенности диагноза технического состояния многовыходных объектов с использованием таблиц неисправностей
    Автоматика и телемеханика.- 1973.-№2.-с.161-168
  • 116.
    Fault dictionary compression: recognized when a fault may unambiguosly represented by a single failure detection
    Proceed. of 1980 Intern. Test Conf.-Philadelphia,PA,USA: 1980.-P.p.368-370
  • 117.
    Creating small fault dictionaries
    IEEE Trans. on Comput.-Aided Design of Integrated Circuits and Systems.-1999.-Vol. 18, №3.-P.p. 346-356
  • 118.
    Making cause-effect cost effective: low-resolution fault dictionaries
    Proceed. of 2001 IEEE Intern. Test Conf. – Washington, DC,USA: IEEE Computer Society, 2001.-P.p. 278-286
  • 119.
    On the generation of small dictionary for fault location
    Proceed. of IEEE/ACM Itern. Conf. on Comput.-Aided Design.-Santa Clara, CA, USA: P.p.279-279
  • 120.
    Fault dictionary compaction by output sequence removalased on labeled tree encoding
    Proceed. of IEEE/ACM Itern. Conf. on Comput.-Aided Design.-San Jose, CA, USA: 1994.-P.p.576-579
  • 121.
    Использование диагностической информации при контроле и поиске неисправностей дискретных устройств с учетом возможной неопределенности значений сигналов
    Автоматика и телемеханика,1975.-№8.-с. 150-157
  • 122.
    Методы предварительной обработки и формы задания диагностической информации для поиска неисправностей дискретных устройств
    Автоматика и телемеханика.-1971.-№4.-С. 165-175
  • 123.
    Приближенные методы решения задач оптимизации глубины диагностирования дискретных устройств.
    Таганрог: Изд-во ТРТИ, 1980.-С.70-72
  • 124.
    Об одном подходе к решению задач сокращения диагностической информации
    Автоматика и телемеханика.-1984.-№3.-С. 151-160
  • 125.
    Методы решения задач оптимизации диагностической информации
    Теоретические проблемы кибернетики.-Саратов: Изд-во Саратовского ун-та, 1986.-С.129-132
  • 126.
    A comparison of selection schemes used in genetic algorithms: Tech. Rep.11.-Zurich.
    Swiss Federal Institute of Technology, December 1995
  • 127.
    Генетические алгоритмы для сокращения диагностической информации
    Автоматика и телемеханика.-2008.-№7.-С. 146-156
  • 128.
    Fault dictionary and equivalence class computation for sequential circuits
    Proceed. of 1993 Itern. Conf.-Washington, DC, USA : 1993-P.p.508-511
  • 129.
    Combinational profiles of sequential benchmark circuits
    Proceed. of 1989 Intern. Symposium on Sequential Circuits
  • 130.
    HITEC: A Test Generation Package for Sequential Circuits
    Proceed. of European Design Automation Conference (EDAC).-1991.-P.p.214-218
  • 131.
    A neutral netlist of 10 combinational benchmark circuits and a target translator in Fotran
    Proceed. of 1985 Intern. Symposium on Circuits of Systems .-Kyoto, Japan: June1985
  • 132.
    Генетические алгоритмы для сокращения диагностической информации
    Автоматика и телемеханика.-2008.-№7.-С. 146-156
  • 133.
    C 4.5: programs for mashine learning
    San Francisco,USA : Morgan Kaufmann Publisher,1993
  • 134.
    Деревья решений в задачах сокращения диагностической информации
    Радiоэлектроннi i компьютернi системи.-2007.-№7.-С.147-152
  • 135.
    One approach to fault dictionary size reduction
    Proceed. of 2008 6th East-West Design & Test Intern. Symposium (EWDTS-08)
  • 136.
    A greedy heuristic for the set-covering problem
    Mathematics of operations research.-1979.-Vol.4,№3.-P.p. 233-235
  • 137.
    Об одном алгоритме поиска масок для сокращения диагностической информаци
    Компьютерные науки и информационные технологии: Материалы Междунар. науч. конф.-Саратов: Изд-во Сарат. ун-та, 2009.-с.139-143
  • 138.
    Fault dictionary size reduction through test response superposition
    Proceed. Of 2002 IEEE Intern. Conference on Computer Design: VLSI in Computers (ICCD-02).-Freiburg, Germany: 2002.-P.p. 480 – 485
  • 139.
    Хеш-функция для сокращения диагностической информации
    Известия Саратовского университета Новая серия. Серия Математика.Механика. Информатика.-2007.Т.7, №2.-с.76-81
  • 140.
    Signature analysis of multi-output circuits
    Digest of Papers 14th Annual Intern. Symposium Fault-Tolerant Computing.-1984.-P.p. 366-371
  • 141.
    Parallel signature analysers – detection capability and extensions
    Proceed. of 1983 IEEE Computer SocietyIntern. Conf.COMPON.-San Francisco, CA, USA: 1983.-P.p. 440-445