Список файлов
Эта служебная страница показывает все загруженные файлы.
 Дата |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 10:17, 28 ноября 2020 | Lecture pbscpp 11 2020.pdf (файл) |  |
174 КБ | KonovodovV | 1 | |
| 11:01, 26 ноября 2020 | Specsem 201127.pdf (файл) | |
634 КБ | DanilovB | 2 | |
| 20:49, 25 ноября 2020 | 2020 11 27 Popkov KA.docx (файл) |  |
12 КБ | RomanovDS | 1 | |
| 11:57, 25 ноября 2020 | ВКА 2020.docx (файл) | |
17 КБ | AlekseevVB | 1 | |
| 20:24, 24 ноября 2020 | Lecture Verification 9 eng.pdf (файл) | |
398 КБ | PodymovVV | курс методов верификации, 2020. лекция про временные автоматы и tctl | 1 |
| 13:05, 21 ноября 2020 | Lecture pbscpp 10 2020.pdf (файл) | |
330 КБ | KonovodovV | 1 | |
| 14:43, 20 ноября 2020 | Specem 201120.pdf (файл) | |
753 КБ | DanilovB | 1 | |
| 20:12, 19 ноября 2020 | Popkov 2018 k-krat testy proizv const prep2018 149.pdf (файл) | |
472 КБ | RomanovDS | 1 | |
| 14:21, 16 ноября 2020 | Hdl practice 06.pdf (файл) | |
206 КБ | PodymovVV | 2020. косметические правки | 2 |
| 14:20, 16 ноября 2020 | Hdl practice 05.pdf (файл) | |
195 КБ | PodymovVV | 2020. теперь тут задачки на параметры, массивы и генерацию в verilog | 2 |
| 13:52, 16 ноября 2020 | Hdl lecture 22.pdf (файл) | |
190 КБ | PodymovVV | поправил опечатку на титульном слайде (неправильный номер блока) | 3 |
| 13:47, 16 ноября 2020 | Hdl lecture 24.pdf (файл) | |
286 КБ | PodymovVV | языки описания схем, 2020. символьные автоматы с таймерами | 1 |
| 13:47, 16 ноября 2020 | Hdl lecture 23.pdf (файл) | |
231 КБ | PodymovVV | 2020. теперь тут рассказ про то, как спроектировать управляющий автомат, когда операционный дан | 2 |
| 13:46, 16 ноября 2020 | Hdl lecture 21.pdf (файл) | |
212 КБ | PodymovVV | 2020. теперь тут рассказ про операционный и управляющий автоматы | 2 |
| 13:45, 16 ноября 2020 | Hdl lecture 20.pdf (файл) | |
324 КБ | PodymovVV | 2020. теперь тут типовая реализация автомата в verilog | 3 |
| 13:44, 16 ноября 2020 | Hdl lecture 19.pdf (файл) | |
345 КБ | PodymovVV | 2020. теперь тут синтаксический сахар Verilog | 7 |
| 19:01, 14 ноября 2020 | Lecture pbscpp 9 2020.pdf (файл) | |
3,24 МБ | KonovodovV | 1 | |
| 10:40, 13 ноября 2020 | Hdl practice 04.pdf (файл) | |
216 КБ | PodymovVV | 2020. Теперь тут автоматы - а продвинутый синтаксис verilog оставлен на потом | 2 |
| 10:40, 13 ноября 2020 | Hdl lecture 18.pdf (файл) | |
304 КБ | PodymovVV | 2020, суть та же | 6 |
| 10:39, 13 ноября 2020 | Hdl lecture 17.pdf (файл) | |
294 КБ | PodymovVV | 2020, суть та же | 6 |
| 17:24, 11 ноября 2020 | Specem 201113.pdf (файл) | |
631 КБ | DanilovB | 1 | |
| 18:43, 9 ноября 2020 | Seminar Verification 8 eng.pdf (файл) | |
194 КБ | PodymovVV | курс методов верификации, 2020. семинар с задачами по средству spin (англ.) | 1 |
| 15:17, 7 ноября 2020 | Lecture pbscpp 8 2020.pdf (файл) | |
1,54 МБ | KonovodovV | 1 | |
| 15:03, 3 ноября 2020 | Seminar Verification 7 eng.pdf (файл) | |
856 КБ | PodymovVV | курс методов верификации, 2020. английский перевод обзора средства spin. | 1 |
| 10:01, 31 октября 2020 | Lec7pbs.pdf (файл) | |
295 КБ | KonovodovV | 2 | |
| 18:02, 29 октября 2020 | Specem 201030.pdf (файл) | |
635 КБ | DanilovB | 2 | |
| 18:28, 20 октября 2020 | Seminar Verification 5 eng.pdf (файл) | |
1,54 МБ | PodymovVV | курс методов верификации, 2020. английский перевод семинара 5 (практические задачи по nusmv) | 1 |
| 14:19, 20 октября 2020 | Lecture Verification 7 eng.pdf (файл) | |
357 КБ | PodymovVV | Курс методов верификации, 2020. Английский перевод лекции 7 про табличный и автоматный алгоритмы верификации для ltl | 1 |
| 16:08, 19 октября 2020 | Seminar Verification 4 eng.pdf (файл) | |
599 КБ | PodymovVV | 2020. английская версия семинара 4 по курсу мат.методов верификации схем и программ (обзор средства NuSMV) | 1 |
| 00:21, 15 октября 2020 | Программа ДГДМК 2020-2021.pdf (файл) | |
298 КБ | DanilovB | 1 | |
| 23:30, 14 октября 2020 | Specem 201016.pdf (файл) | |
646 КБ | DanilovB | 1 | |
| 19:10, 14 октября 2020 | Выставка кафедр Задачки (миниатюра).png (файл) | .png) |
180 КБ | PodymovVV | Осень 2020 | 1 |
| 19:09, 14 октября 2020 | Выставка кафедр Информационный лист (миниатюра).png (файл) | .png) |
331 КБ | PodymovVV | Осень 2020 | 1 |
| 18:48, 14 октября 2020 | Постер кафедры (миниатюра).png (файл) | .png) |
707 КБ | PodymovVV | Осень 2020 | 1 |
| 17:59, 14 октября 2020 | Постер кафедры.jpg (файл) | Ошибка создания миниатюры: Ошибочный параметр миниатюры |
2,05 МБ | PodymovVV | Осень 2020 | 1 |
| 17:57, 14 октября 2020 | Постер кафедры.png (файл) | Ошибка создания миниатюры: Ошибочный параметр миниатюры |
3,13 МБ | PodymovVV | 1 | |
| 17:51, 14 октября 2020 | Выставка кафедр Задачки.pdf (файл) | |
263 КБ | PodymovVV | Осень 2020 | 1 |
| 17:28, 14 октября 2020 | Постер кафедры.pdf (файл) | |
1,72 МБ | PodymovVV | 1 | |
| 20:33, 10 октября 2020 | Lecture pbscpp 6 2020.pdf (файл) | |
305 КБ | KonovodovV | 1 | |
| 01:42, 8 октября 2020 | Specem 201008.pdf (файл) | |
640 КБ | DanilovB | 1 | |
| 21:14, 6 октября 2020 | Lecture pbscpp 5 2020.pdf (файл) | |
829 КБ | KonovodovV | 1 | |
| 17:37, 6 октября 2020 | Seminar Verification 3 eng.pdf (файл) | |
194 КБ | PodymovVV | курс методов верификации, 2020. перевод "Seminar_Verification_3.pdf" на английский | 1 |
| 12:57, 27 сентября 2020 | Lecture Verification 4 eng.pdf (файл) | |
770 КБ | ZakharovVA | 1 | |
| 12:53, 27 сентября 2020 | Lecture Verification 3 eng.pdf (файл) | |
1,54 МБ | ZakharovVA | 1 | |
| 22:21, 26 сентября 2020 | Lecture pbscpp 4 2020.pdf (файл) | |
301 КБ | KonovodovV | 2 | |
| 15:59, 22 сентября 2020 | Seminar Verification 2 eng.pdf (файл) | |
224 КБ | PodymovVV | Английский перевод версии 2019 года (то же без "eng") с косметическими правками | 1 |
| 12:09, 19 сентября 2020 | Lecture pbscpp 3 2020.pdf (файл) | |
268 КБ | KonovodovV | 1 | |
| 10:35, 12 сентября 2020 | Lecture pbscpp 2 2020.pdf (файл) | |
268 КБ | KonovodovV | 1 | |
| 17:05, 11 сентября 2020 | Dm2v3.pdf (файл) | |
15 КБ | Emergency User | Возврат к версии от 07:47, 4 июля 2020 | 9 |
| 17:05, 11 сентября 2020 | Dm2v2.pdf (файл) | |
15 КБ | Emergency User | Возврат к версии от 07:47, 4 июля 2020 | 8 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
