Yosys и Synplify совместимые элементы

Question

Я хотел бы написать verilog, который можно синтезировать с использованием yosys (предпочтительно) или цепочки инструментов Lattice Radiant с использованием Synplify (необходим, например, для зашифрованного IP-адреса из Lattice).
Большинство жестких ячеек, таких как PLL, имеютразные имена между двумя инструментами.
Существует ли библиотека verilog, которая позволяет выбрать любой инструмент синтеза с одним 'например, определением?

Answer 1

К сожалению, нет, поток с открытым исходным кодом iCE40 был разработан еще до того, как появился Radiant;поэтому использовалась оригинальная примитивная библиотека iCEcube (которая пока остается единственной опцией для устройств pre-UltraPlus). Для справки это задокументировано на http://www.latticesemi.com/~/media/LatticeSemi/Documents/TechnicalBriefs/SBTICETechnologyLibrary201608.pdf - но именно Lattice виноваты в неспособности обеспечить обратную совместимость со своей собственной библиотекой ...