A method and apparatus for determining routing feasibility of a plurality
of nets. Each net has an associated set of one or more routing solutions,
wherein each solution specifies one or more routing resources consumed by
the net. A liveness Boolean function is generated having variables that
represent respective net/solution pairs. If there exists a set of values
for the variables such that at least one of the variables for each net is
logically true, then the liveness function is true. An exclusivity
function is generated using the variables that represent the net/solution
pairs. If there exists at least one set of values for the variables such
that no resource is used is by more than a predetermined number of nets,
then the exclusivity function is true. The nets are routable using the
provided solutions if there is one set of values for the variables such
that both the liveness and exclusivity functions are true.
Метод и прибор для обусловливать осуществимость трассы множественности сетей. Каждая сеть имеет associated комплект one or more разрешений трассы, при котором каждое разрешение определяет one or more ресурсы трассы уничтоженные сетью. Произведена функция liveness булевская имеющ перемеююые представляют соответственно пары net/solution. Если существует комплект значений для перемеююых такие, то что по крайней мере одна из перемеююых для каждой сети логически поистине, после этого функция liveness поистине. Произведена функция exclusivity использующ перемеююые представляют пары net/solution. Если существует по крайней мере один комплект значений для перемеююых, котор такое что никакой ресурс не использован больше чем предопределенный номер сетей, тогда функции exclusivity поистине. Сети routable использующ обеспеченные разрешения если один комплект значений для перемеююых такие, то что и функции liveness и exclusivity поистине.
