4.08.2014 |
22:17:06 |
microel. |
IC packaging |
сборка ИС |
4.08.2014 |
22:17:06 |
microel. |
IC packaging |
сборка микросхемы |
4.08.2014 |
22:12:04 |
microel. |
integrated circuit packaging |
сборка микросхемы |
4.08.2014 |
22:09:06 |
microel. |
integrated circuit packaging |
сборка ИС |
4.08.2014 |
22:08:49 |
microel. |
integrated circuit packaging |
изготовление корпусов микросхем |
4.08.2014 |
22:08:49 |
microel. |
integrated circuit packaging |
сборка интегральной схемы |
4.08.2014 |
21:51:25 |
microel. |
specific company |
специализированные компании |
4.08.2014 |
21:43:58 |
microel. |
multiple customers |
массовый потребитель |
4.08.2014 |
21:35:52 |
microel. |
custom-built IC designed to address a specific application |
изготавливаемая по заказу интегральная схема, предназначенная для использования в специфичных приложениях |
4.08.2014 |
21:35:52 |
microel. |
custom-built IC designed to address a specific application |
изготавливаемая по заказу ИС, предназначенная для использования в специфичных приложениях |
4.08.2014 |
21:35:52 |
microel. |
custom-built IC designed to address a specific application |
изготавливаемая по заказу микросхема, предназначенная для использования в специфичных приложениях |
4.08.2014 |
21:33:12 |
microel. |
custom-built integrated circuit designed to address a specific application |
изготавливаемая по заказу микросхема, предназначенная для использования в специфичных приложениях |
4.08.2014 |
21:33:03 |
microel. |
custom-built integrated circuit designed to address a specific application |
изготавливаемая по заказу ИС, предназначенная для использования в специфичных приложениях |
4.08.2014 |
21:32:27 |
microel. |
custom-built integrated circuit designed to address a specific application |
изготавливаемая по заказу интегральная схема, предназначенная для использования в специфичных приложениях |
4.08.2014 |
21:28:23 |
microel. |
specific application |
специфичные приложения |
4.08.2014 |
20:52:38 |
progr. |
application-specific standard part |
специализированный стандартный компонент |
4.08.2014 |
20:50:06 |
progr. |
application-specific standard part |
стандартный компонент специализированной ИС |
4.08.2014 |
20:45:59 |
microel. |
application-specific standard part |
специализированная стандартная микросхема (изготавливаемая по заказу микросхема, предназначенная для использования в специфичных приложениях. Такие устройства могут содержать сотни миллионов логических элементов и могут использоваться для реализации чрезвычайно больших и сложных функций. Подобна специализированным заказным микросхемам (ASIC), за исключением того, что ASSP изготавливаются для массового потребителя) |
4.08.2014 |
20:34:09 |
microel. |
custom-built IC |
изготавливаемая по заказу интегральная схема |
4.08.2014 |
20:34:09 |
microel. |
custom-built IC |
изготавливаемая по заказу ИС |
4.08.2014 |
20:34:09 |
microel. |
custom-built IC |
изготавливаемая по заказу микросхема |
4.08.2014 |
20:31:07 |
microel. |
custom-built integrated circuit |
изготавливаемая по заказу микросхема |
4.08.2014 |
20:30:35 |
microel. |
custom-built integrated circuit |
изготавливаемая по заказу интегральная схема |
4.08.2014 |
20:30:35 |
microel. |
custom-built integrated circuit |
изготавливаемая по заказу ИС |
4.08.2014 |
20:28:24 |
microel. |
custom-built |
изготавливаемый по заказу |
4.08.2014 |
20:18:39 |
microel. |
application-specific integrated circuit |
заказная специализированная интегральная схема |
4.08.2014 |
20:18:39 |
microel. |
application-specific integrated circuit |
заказная специализированная ИС |
4.08.2014 |
20:13:16 |
microel. |
application-specific integrated circuit |
заказная специализированная микросхема (изготавливаемая по заказу микросхема, предназначенная для использования в специфичных приложениях. Такие устройства могут содержать сотни миллионов логических элементов и могут использоваться для реализации чрезвычайно больших и сложных функций. Подобны устройствам ASSP, за исключением того, что ASIC разрабатываются и изготавливаются для специализированных компаний) |
4.08.2014 |
19:16:41 |
microel. |
input-to-output databook delay |
задержка прохождения данных от входа до выхода |
4.08.2014 |
19:15:58 |
microel. |
input-to-output databook |
прохождение данных от входа до выхода |
4.08.2014 |
17:44:46 |
microel. |
simple 2-input AND gate |
простой 2-входовый вентиль И |
4.08.2014 |
17:43:04 |
microel. |
2-input AND gate |
2-входовый вентиль И |
4.08.2014 |
17:26:40 |
microel. |
evolution of delay specifications |
развитие спецификаций задержки |
4.08.2014 |
17:25:46 |
microel. |
delay specifications |
спецификации задержки |
4.08.2014 |
17:22:31 |
progr. |
potpourri of definitions |
набор определений |
4.08.2014 |
17:21:57 |
progr. |
potpourri |
набор |
4.08.2014 |
17:18:49 |
gen. |
potpourri |
смесь |
4.08.2014 |
17:18:49 |
gen. |
potpourri |
собрание (людей, предметов) |
4.08.2014 |
15:54:21 |
progr. |
measures verification activity with respect to items in the high-level functional or macroarchitecture definition |
мероприятия по проверке высокоуровневых функционалов и макроархитектурных определений |
4.08.2014 |
15:52:26 |
progr. |
macroarchitecture definition |
макроархитектурное определение |
4.08.2014 |
15:51:58 |
progr. |
macroarchitecture |
макроархитектурный |
4.08.2014 |
15:39:16 |
progr. |
high-level functional |
высокоуровневый функционал |
4.08.2014 |
15:33:41 |
progr. |
relationships of different transaction types to each other |
взаимодействие между собой транзакций различных типов |
4.08.2014 |
15:33:04 |
progr. |
different transaction types |
транзакции различных типов |
4.08.2014 |
15:21:54 |
progr. |
specification-based verification coverage |
анализ покрытия на уровне спецификации (это мероприятия по проверке высокоуровневых функционалов и макроархитектурных определений. Включают в себя анализ средств ввода/вывода, типов используемых транзакций (в том числе взаимодействие между собой транзакций различных типов), а также преобразования данных) |
4.08.2014 |
15:07:46 |
progr. |
corner cases |
тупиковые ситуации |
4.08.2014 |
15:07:23 |
progr. |
corner case |
тупиковая ситуация |
4.08.2014 |
15:00:50 |
progr. |
Such implementation details are rarely visible at the specification level |
Такие детали реализации редко удаётся проследить на уровне спецификации |
4.08.2014 |
14:56:09 |
progr. |
corner |
тупиковый (напр., о ситуации) |
4.08.2014 |
14:52:54 |
progr. |
specification level |
уровень спецификации |
4.08.2014 |
14:41:13 |
progr. |
depth of a FIFO buffer |
глубина буфера FIFO |
4.08.2014 |
14:37:50 |
progr. |
measures verification activity with respect to microarchitecture details of the actual implementation |
мероприятия по проверке микроархитектурных особенностей готовой реализации |
4.08.2014 |
14:33:32 |
progr. |
microarchitecture details of the actual implementation |
микроархитектурные особенности готовой реализации |
4.08.2014 |
14:32:07 |
progr. |
microarchitecture details |
микроархитектурные особенности |
4.08.2014 |
14:28:59 |
progr. |
microarchitecture |
микроархитектурный |
4.08.2014 |
14:26:49 |
progr. |
actual implementation |
готовая реализация |
4.08.2014 |
14:17:14 |
progr. |
implementation-based verification coverage |
анализ покрытия на уровне реализации (это мероприятия по проверке микроархитектурных особенностей готовой реализации. Подразумевают под собой ряд решений, которые встраиваются в RТL-описание устройства для наблюдения за его тупиковыми состояниями, напр., это может касаться глубины буфера FIFO и тупиковых ситуаций, связанных с его опустошением и полным заполнением. Такие детали реализации редко удаётся проследить на уровне спецификации) |
4.08.2014 |
14:07:35 |
progr. |
coarsegrained architecture |
крупномодульная архитектура |
4.08.2014 |
14:01:00 |
progr. |
hundreds of thousands of times a second |
сотни тысяч раз в секунду |
4.08.2014 |
13:57:02 |
progr. |
coarsegrained |
крупномодульный |
4.08.2014 |
13:45:08 |
progr. |
form of digital IC |
форма цифровых интегральных схем |
4.08.2014 |
13:45:08 |
progr. |
form of digital IC |
форма цифровых ИС |
4.08.2014 |
13:42:48 |
progr. |
form of digital integrated circuit |
форма цифровых интегральных схем |
4.08.2014 |
13:42:48 |
progr. |
form of digital integrated circuit |
форма цифровых ИС |
4.08.2014 |
13:36:53 |
gen. |
revolutionary new |
революционно новый |
4.08.2014 |
13:36:29 |
progr. |
revolutionary new |
новый революционный |
4.08.2014 |
13:32:09 |
progr. |
ACM |
АВМ (адаптивная вычислительная машина) |
4.08.2014 |
13:30:02 |
progr. |
adaptive computing machine |
адаптивная вычислительная машина (новая революционная форма цифровых интегральных микросхем (ИС), характеризующаяся крупномодульной архитектурой и состоящая из узлов, которые могут быть реконфигурируемы (адаптированы) сотни тысяч раз в секунду) |
4.08.2014 |
13:30:02 |
progr. |
adaptive computing machine |
АВМ |
4.08.2014 |
13:03:14 |
progr. |
synthesizing nested if-then-else statements |
синтез вложенных операторов if-then-else |
4.08.2014 |
13:01:00 |
progr. |
nested if-then-else statements |
вложенные операторы if-then-else |
4.08.2014 |
13:00:25 |
progr. |
nested if-then-else statement |
вложенный оператор if-then-else |
4.08.2014 |
12:58:06 |
progr. |
if-then-else statements |
операторы if-then-else |
4.08.2014 |
3:04:37 |
progr. |
array of processes |
массив процессов |
4.08.2014 |
3:00:16 |
progr. |
guarded expression |
предварённое выражение |
4.08.2014 |
2:54:17 |
progr. |
a set of recursive equations |
система рекурсивных уравнений |
4.08.2014 |
2:53:48 |
progr. |
a set of |
система (уравнений) |
4.08.2014 |
2:43:54 |
progr. |
To prove more general theorems about recursively defined processes, it is necessary to introduce a law which states that every properly guarded recursive equation has only one solution |
для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение (см. Communicating Sequential Processes by C.A.R. Hoare 1985) |
4.08.2014 |
1:51:40 |
progr. |
more general theorems about recursively defined processes |
более общие теоремы о рекурсивно определённых процессах |
4.08.2014 |
1:48:04 |
progr. |
recursively defined processes |
рекурсивно определённые процессы |
4.08.2014 |
1:42:05 |
progr. |
every properly guarded recursive equation |
всякое должным образом предварённое рекурсивное уравнение |
4.08.2014 |
1:38:05 |
progr. |
recursive equation |
рекурсивное уравнение |
4.08.2014 |
1:35:49 |
progr. |
only one solution |
единственное решение |
4.08.2014 |
1:29:25 |
progr. |
assume without stating it that |
неявно предполагать, что |
4.08.2014 |
1:07:18 |
progr. |
Here and elsewhere, we assume without stating it that the alphabets of the processes on each side of an equation are the same |
Здесь и далее мы неявно предполагаем, что алфавиты процессов в обоих частях уравнения совпадают (см. Communicating Sequential Processes by C.A.R. Hoare 1985) |
4.08.2014 |
0:58:28 |
progr. |
alphabets of the processes on each side of an equation |
алфавиты процессов в обоих частях уравнения |
4.08.2014 |
0:55:39 |
progr. |
alphabets of the processes |
алфавиты процессов |
4.08.2014 |
0:38:59 |
progr. |
However, if the initial choices are the same, and for each initial choice the subsequent behaviours are the same, then obviously the processes are identical |
если же множества начального выбора оказываются равными и для каждой начальной альтернативы дальнейшее поведение процессов совпадает, то очевидно, что процессы тождественны (см. Communicating Sequential Processes by C.A.R. Hoare 1985) |
4.08.2014 |
0:36:01 |
progr. |
initial choices |
множества начального выбора |
4.08.2014 |
0:35:35 |
progr. |
initial choice |
начальная альтернатива |
4.08.2014 |
0:33:49 |
progr. |
however, if |
если же |
4.08.2014 |
0:28:30 |
progr. |
be the same |
оказываться равным |
4.08.2014 |
0:10:46 |
progr. |
choice |
оператор выбора |
4.08.2014 |
0:01:11 |
progr. |
process with a very large or infinite number of states |
процесс с очень большим или бесконечным числом состояний |
3.08.2014 |
23:57:58 |
progr. |
it is one of the weaknesses of pictures that proofs of such an equality are difficult to conduct pictorially |
Одна из слабостей графического представления, однако, состоит в том, что доказать такое равенство графически очень трудно (см. Communicating Sequential Processes by C.A.R. Hoare 1985) |
3.08.2014 |
23:55:00 |
progr. |
one of the weaknesses of pictures |
одна из слабостей графического представления |
3.08.2014 |
23:30:35 |
progr. |
node to which the arrow points |
вершина, на которую указывает эта дуга |
3.08.2014 |
23:30:05 |
progr. |
node at the tail of the arrow |
вершина у основания этой дуги |
3.08.2014 |
23:27:03 |
progr. |
immediately and imperceptibly go back |
мгновенно переходить назад |
3.08.2014 |
23:26:31 |
progr. |
go back |
переходить назад |