Vhdl libs PKS Опции

[-=Vitaly=-]

Здравствуйте !!!

Начал работать с PKS, хочу подключить синтезируемую библиотеку для операций с фиксированной точкой и не знаю как это сделать.
команда set_vhdl_library не дает никакого результата, может я что-то не то делаю.

set_vhdl_library "ieee_proposed" "/home/my_proj/libs" , по этому пути лежи файлик fixed_pkg_c.vhd

Кто работал с vhdl в PKS помогите плиз, в нашей конторе все работают с верилогом.


Спасибо