База данных ограничений » History » Version 1
Alexander Kamkin, 09/26/2011 10:48 AM
| 1 | 1 | Alexander Kamkin | h1. База данных ограничений |
|---|---|---|---|
| 2 | |||
| 3 | База данных ограничений строится автоматически в результате анализа формализованных спецификаций системы команд микропроцессора, выполненной на одном из ADL-языков (например, nML). Некоторые ситуации могут описываться вручную и добавляться в базу данных ограничений. |