Добрый день можно поинтересоваться где брать литературу предложенную в курсе ?Большинство книг я не могу найти в известных источниках |
Моделирование, тестирование и диагностика цифровых устройств
: Литература по курсу
Московский государственный университет путей сообщения
Опубликован: 06.09.2012 | Доступ: свободный | Студентов: 1253 / 182 | Оценка: 5.00 / 5.00 | Длительность: 35:22:00
Темы: САПР, Аппаратное обеспечение
Специальности: Разработчик аппаратуры
Теги:
- 1.Principles of testing electronic systemsJohn Wiley&Sons, 2000. – 420p
- 2.Логическое моделирование и тестировании цифровых устройствДонецк:ИПММ НАНУ, ДонНТУ, 2005.-436с
- 3.CMOS digital integrated circuitsAnalysis and design, Boston, McGrow-Hill, 1999
- 4.Digital logic testing and simulationJohn Wiley&Sons, 2003.-673p
- 5.Моделирование и тести-рование дискретных устройствКиев: Наукова думка, 1992. – 288с
- 6.Введение в дискретную математикуМ.:Наука, 1979
- 7.Digital System Testing and Testable DesignNew York: Computer Science Press, 1990. – 652p
- 8.Essentials of electronic testing for digital, memory and mixed-signal VLSI circuitsKluwer academic publishers, 2001. – 690 p
- 9.Combinatorial Problems of Sequential Benchmark Circuits // Proc. IEEE Int. Symp.Circuits and SystemsLos Alami-tos, Calif.:IEEE Computer Soc. Press., 1989. – P.1929-1934
- 10.Синтез логических схем с использованием языка VHDLМ.: СОЛОН-Рб, 2002. – 384 с
- 11.Автоматизированное проектирование цифровых устройствМ.:Радио и связь, 1981. – 240 с
- 14.Pseudo-boolean logic circuitsIEEE 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 covalidationIEEE Design and Test of computers. – 2003. – Vol.20,N.4. – P.40-47
- 18.Test generation for crosstalk faults effects in VLSI circuitsIEEE 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 SimulationComputer, IEEE Comp. Society. – 1975. – N3. – P.38-49
- 20.Fault simulation for structured VLSIVLSI Systems Design, Vol.6.-N12,December.-P.20-32
- 21.A deductive method of simulation faults in logic circuitsIEEE transactions,Vol.C-21.-N5.-P.464-471
- 22.Comparison of fault simulation methods – treatment of unknown valuesJournal digital system. – 1980. – N4. – P.443-459
- 23.Многозначное дедуктивное моделирование цифровых устройствАвтоматика и вычислительная техника. – 1982. – №4. – С.77-82
- 24.Concurrent simulation of nearly identical digital networksComputer,vol.7.-1974.-N4.-P.39-44.
- 25.Programmed algorithms to compute tests to detect and distinguish between failures in logic circuitsIEEE Transactions on Electronics Computers, vol.TC-16,N5.-1967.-P.567-580
- 26.Differential fault simulation for sequential circuitsJournal of electronic testing: theory and applications,vol.1,N1.-1990.-P.7-13.
- 27.PROOFS: a fast, memory-efficient sequential circuit fault simulatorIEEE transaction on computer aided design.-vol.11,1992.-N.2.-P.198-207
- 28.On delay fault testing in logic circuitsIEEE Transactions on Computer-aided design. – 1987. – N5. – P.694-704
- 29.Comparison of self-testing proceduresProc. Int. Test. Conf. – 1983. – P.89-94
- 30.Parallel pattern fault simulation of path delay faultsProc. 26th ACM/IEEE Design Automation Conference. – 1989. – P.357-363
- 31.Анализ диагностических тестов для комбинационных логи-ческих схем методом обратного прослеживания неисправностейАвтоматика и телемеханика. – 1977. – №8. – C.168-176
- 32.Critical path tracing – alternative to fault simulationProc. 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 analysisIEEE Des. Test. Vol.2, N1, February 1985.- P.38-44
- 34.STAFAN: an alternative to fault simulationProc. 21-st D.A. Conf.-1984.-P.18-23
- 35.Polynomially complete fault detection problemIEEE Trans. On Computers. – 1982. – N3. – P.242-249
- 36.A neutral netlist of 10 combinational benchmark circuits and a target translator in FortranProc. of Int. Symposium of circuits and Systems, ISCAS-85. – 1985. – P.662-695
- 37.ISCAS-89
- 38.RT-level ITC99 benchmarking and first ATPG resultsIEEE Design&Test, Special issue on benchmarking for Design and Test. – 2000. – July-August. – P.44-53
- 39.When to use random testingIEEE Trans.Comput. – 1978. – C27, N11. – p.1054-1055
- 40.The weighted random test-pattern generatorIEEE Trans.Comput. – 1975. – C24, N7. – P.695-700
- 41.Automated diagnostic programs for digital networksComput. Des. – 1971. – N8. – P.63-67
- 42.An algorithm for the test generation of tests sets for combinational logic networksIEEE Trans. Comput. – 1975. – N7. – P.742-746
- 43.The *-algorithm – critical traces for functions and CHDL constructsProc. IEEE Int. Test. Conf. – 1983. – P.90-97
- 44.Диагностика отказов цифровых вычислительных системПод ред. И.Б.Михайлова.-М.:Мирб 1972.-232с
- 45.Diagnosis of Automata Failures: a calculus and a methodIBM J. Res. And Develop. – 1966.– N7. – P.278-291
- 46.An implicit enumeration algorithm to generate tests for combinational logic circuitsIEEE Trans. On Comput. – 1981. – C-30, N3. – P.215-222
- 47.On the acceleration of test generartion algorithmsIEEE Trans. Comput. – 1983. – N12. – P.1137-1144
- 48.Digital logic testing and simulationAJohn Wiley&Sons Inc.Publication.:2003.-696p
- 49.A nine-valued circuit model for test generationIEEE Trans.Comput.-1976.—N6.—P.630—636
- 50.Split circuit model for test generationProc. 25th design automation conf., Anaheim. CA, June 1988.-P.96-101
- 51.A logic system for fault test generationIEEE Trans. on Comp.-1976.-N6.-P.620-630
- 52.A method to calculate necessary assignments in algorithmic test pattern generationProc.1990 Int. test conf.-1990.-P.25-34
- 53.Построение тестов для последовательностных цифровых схем в 16-значном алфавитеЭлектронное Моделирование,1997, №1 С.50-58
- 54.Test pattern generation using Boolean satisfiabilityIEEE Trans.CAD.-January 1992.-P.4-15
- 55.Построение и анализ вычислительных алгоритмов.Мир:1979.- с.536
- 56.A linear-time algorithm for testing the truth of certain quantified Boolean formulasInformation processing letters. -1979-8.-P/121-123
- 57.Fault simulation for structured VLSIVLSI Systems Design, Vol.6.-N12,December.-P.20-32
- 58.Binary decision diagramsIEEE Trans. Computers,vol.27,No.6,July 1978.-P.509-516
- 59.Graph-based algorithms for boolean functions manipulationIEEE Trans. Computers, vol.C-35,No.8, Aug.1986.-P.667-690
- 60.Генерация тестов цифровых схем с использованием альтернативных графовТруды Таллиннского технического университета.-Таллин:№409. 1976.-С.75-81
- 61.Test synthesis with alternative graphsDesign&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 circuitsProc. 5-th Annual Symp. “Switching theory and logic design”. – 1964. – P.95-110
- 65.Checking experiments for sequential machinesIEEE Transactions on Computers. – 1971. – C-20. – P.1152-1166
- 66.An implicit enumeration algorithm to generate tests for combinational logic circuitsIEEE Trans. On Comput. – 1981. – C-30, N3. – P.215-222.
- 67.On the acceleration of test generartion algorithmsIEEE Trans. Comput. – 1983. – N12. – P.1137-1144
- 68.A heuristic algorithm for testing of asynchronous circuitsIEEE Trans. on Comp. – 1971. – N6. – P.639-647
- 69.An interactive sequential test generation systemsProc.1989 Int. test Conf. – 1989. – P.38-46
- 70.Fast test generation for sequential circuitsIEEE Trans, on Comp. – 1989. – N3. – P.354-357
- 71.Techniques to increase sequential ATPG performanceProc. 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 strategyIEEE Transactions on Computers. – 1992. – Vol. 41. – N 5. – P.627-637
- 76.Hybrid fault simulation for synchronous sequential circuitsJournal of electronics: Theory and applications. – 1999. – N15. – P.219-238.
- 77.Graph–based algorithms for Boolean functions manipulationIEEE Transactions on Computers. -1986.-P.677-691
- 78.Основы эволюционных вычислений: учебное пособиеДонецк: ДонНТУ, 2008. – 326 с
- 79.Hierarchical test pattern generation using a genetic algorithm with a dynamic global reference tableFirst 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 GenerationProc. European Design & Test Conf. – 1994. – P.40-45
- 81.An Automatic Test Pattern Generator for Large Sequential Circuits based on Genetic AlgorithmsProc. Int. Test Conf. – 1994. – P.240249
- 82.CRIS: A Test Cultivation Program for Sequential VLSI CircuitsIn Proc. Int. Conf. on Computer Aided Design. – 1992. – P.216-219
- 83.Automatic test generation using genetically-engineered distinguishing sequencesIn Proc. IEEE Test Symp. – 1996. – P.216-223
- 84.Компактное тестированиеАвтоматика и телемеханика. - 1982.-№2.- с.173-189
- 85.Контроль и диагностика цифровых узлов ЭВМ.Минск: Наука и техника, 1988.-240 с
- 86.Testing logic circuits with compressed dataDigest of papers FTCS-8.-1978.-p.p. 108-113
- 87.Compact testing : Testing with compressed dataDigest of papers FTCS-6.-1976.-p.p.93-98
- 88.Check-sum test methodPittsburg, PA, USA, 1976.-p.p.114-119
- 89.Transition count testing of combinational logic circuitsIEEE Trans. Comput.-1976.-№ 6.-p.p.613-620
- 90.Sindrome – testable design of combinational circuitsDigest of papers FTCS-9.-1979.-p.p.137-140
- 91.Sindrome – testable design of combinational circuitsIEEE Trans. Comput.-1979.-№ 6.-p.p.442-451
- 92.Data compression technique for Built-in-Self TestDigest of papers FTCS-15.-1985.-p.p.243-248
- 93.A note on testing logic circuits by transition countingIEEE Trans. Comput.-1977.- Vol.26.-№3.-p.p.313-314
- 94.The weighted syndrome sums approach to VLSI testingIEEE Trans. Comput.,-1981.-Vol.-30.-№2.-p.p.996-1000
- 95.Syndrome-testable can be achived by circuit modificationIEEE Trans. Comput.-1981.-Vol.-30.-№8.-p.p.604-606
- 96.A practical approach to fault detection in combi-national networksIEEE Trans. Comput.-1972.- Vol.-27.-№10.-p.p. 968-971
- 97.Линейные последовательностные машины.М.: Наука, 1974.-274
- 98.Аналитические методы в задачах контроля и анализа дискретных устройств.Саратов: Изд-во Сарат. ун-та, 1986
- 99.Fault dictionary size reduction through test response superpositionProceed. 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 removalProceed. 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 encodingProceed. of 14-th VLSI Test Symposium.-Princeton, NJ, USA :1996.-P.p.174-179
- 102.Creating small fault dictionariesIEEE 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 locationProceed. of ACM Intern. Conf. on Computer- Aided Design.-Santa Clara, CA, USA: 1992.-P.p.272 - 279
- 104.Integrated guided probe and fault dictionaryProceed. of 1986 Intern. Test Conf.- Washington, DC, USA: 1986.- P. p.304-311
- 105.The modern fault dictionaryProceed. of 1985 Intern. Test Conf. - Philadelphia, PA,USA: 1985.- P.p.696- 702
- 106.Two- stage fault locationProceed. 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 detectionProceed. of 1980 Intern. Test Conf.-Philadelphia,PA,USA: 1980.-P.p.368-370
- 117.Creating small fault dictionariesIEEE 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 dictionariesProceed. 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 locationProceed. 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 encodingProceed. 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 circuitsProceed. of 1993 Itern. Conf.-Washington, DC, USA : 1993-P.p.508-511
- 129.Proceed. of 1989 Intern. Symposium on Sequential Circuits
- 130.HITEC: A Test Generation Package for Sequential CircuitsProceed. 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 FotranProceed. of 1985 Intern. Symposium on Circuits of Systems .-Kyoto, Japan: June1985
- 132.Генетические алгоритмы для сокращения диагностической информацииАвтоматика и телемеханика.-2008.-№7.-С. 146-156
- 133.C 4.5: programs for mashine learningSan Francisco,USA : Morgan Kaufmann Publisher,1993
- 134.Деревья решений в задачах сокращения диагностической информацииРадiоэлектроннi i компьютернi системи.-2007.-№7.-С.147-152
- 135.Proceed. of 2008 6th East-West Design & Test Intern. Symposium (EWDTS-08)
- 136.A greedy heuristic for the set-covering problemMathematics of operations research.-1979.-Vol.4,№3.-P.p. 233-235
- 137.Об одном алгоритме поиска масок для сокращения диагностической информациКомпьютерные науки и информационные технологии: Материалы Междунар. науч. конф.-Саратов: Изд-во Сарат. ун-та, 2009.-с.139-143
- 138.Fault dictionary size reduction through test response superpositionProceed. 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 circuitsDigest of Papers 14th Annual Intern. Symposium Fault-Tolerant Computing.-1984.-P.p. 366-371
- 141.Parallel signature analysers – detection capability and extensionsProceed. of 1983 IEEE Computer SocietyIntern. Conf.COMPON.-San Francisco, CA, USA: 1983.-P.p. 440-445