Математическая модель конструкторского синтеза матричных БИС.