Я пытаюсь синтезировать некоторую логику RTL с помощью Design Compiler.
Как я знаю, DC использует некоторые библиотеки для синтеза с некоторыми библиотеками, такими как TSMC, UMC, GF ...
set MyHome [getenv "HOME"]
set search_path [list . ${synopsys_root}/libraries/syn ${synopsys_root}/minpower/syn ${synopsys_root}/dw/syn_ver ${synopsys_root}/dw/sim_ver /home/sylee/
set link_library [list "*" /LIBERTY/p99v125c.db \
/LIBERTY/p81v125c.db \
/LIBERTY/p19v125c.db ]
set target_library [list /LIBERTY/p99v125c.db \
/LIBERTY/181v125c.db \
/LIBERTY/p29v25c.db ]
set simbol_library [list /LIBERTY/5hdl140f.sdb ]
set synthetic_library [list dw_foundation.sldb]
Но если я использую такие выше библиотеки, то мы получим список соединений от библиотеки в зависимости от библиотеки.
Но я хочу составить список ворот, используя только GTECH.
Так как же синтезировать только с GTECH?