Project

General

Profile

Actions

База данных ограничений » History » Revision 2

« Previous | Revision 2/91 (diff) | Next »
Andrei Tatarnikov, 12/21/2011 11:40 AM


База данных ограничений

База данных ограничений строится автоматически в результате анализа формализованных спецификаций системы команд микропроцессора, выполненной на одном из ADL-языков (например, nML). Некоторые ситуации могут описываться вручную и добавляться в базу данных ограничений.

Constraint Solver Library

Updated by Andrei Tatarnikov over 12 years ago · 2 revisions