Язык описания аппаратуры в Tanner Опции

[DSIoffe]

Здравствуйте все!
Скажите, пожалуйста, кто знает: есть ли возможность ввести в Tanner часть схемы на языке описания аппаратуры? Если есть, то на каком: VHDL, Verilog? И в какое место сунуться, чтобы начать?
Заранее признателен.

[DSIoffe]

Спасибо.
Сам я в Tanner не работаю и слов таких не знаю, к сожалению: edn, SPR. Я хотел вот чего.
Есть группа людей, с которыми я контачу по работе. Они рисуют цифровые узлы, например, счётчики, снизу вверх. Есть транзисторы, они из них набирают триггеры, из триггеров - счётчики, при этом держат в голове, как должен работать каждый триггер счётчика, и вручную рисуют ему управляющие цепи. Как-то они просили меня помочь нарисовать цифровую часть, но я не знаю, с какой стороны подойти.
Я хотел написать код счётчика и прочей цифровой части, скажем, на VHDL, и передать им, а они бы как-то подсунули этот код Tanner-у. Не получится?
И что такое структурный Verilog? Я не смог найти такого словосочетания.
Заранее признателен.

[yes]

И что такое структурный Verilog? Я не смог найти такого словосочетания.

структурный, это когда описывается не поведение, а структура из элементов (то есть не подойдет )

счетчик это не
cnt<=cnt+1;

а что-то типа
OA1 \accum.phase_ret_1_RNO (
.Y(I2_un5_CO1_reti),
.A(I1_un5_CO1_reti),
.B(ADD_32x32_slow_I1_CO1_0_reti),
.C(phase_RNIV9I01[2])
);
// @12:180
DFN1 \accum.phase_ret_Z (
.Q(I1_un5_CO1),
.CLK(CLK_I_c),
.D(I1_un5_CO1_reti)
);
// @12:180
DFN1 \accum.code_nco_freq_ret_1_Z (
.Q(ADD_32x32_slow_I1_CO1_0),
.CLK(CLK_I_c),
.D(ADD_32x32_slow_I1_CO1_0_reti)
);
// @12:180
DFN1 \phase_Z[2] (
.Q(code_phase_out[2]),
.CLK(CLK_I_c),
.D(phase_RNIV9I01[2])

))))))))

можно посмотреть на сгенеренных нетлистах, например, для симуляции