谁知道类似 (*KEEP="TRUE"*)之类的语句是从哪里看的？

FPGA语法的基础书籍我只买了，一般夏宇文的。
但是偶尔会碰到(*KEEP="TRUE"*)之类的语句，但是我没有看到过教材上面有讲这个。
有谁知道这些语句从哪里来的吗?是有一本书?或者一份标准手册?
还是说这些语法标准一直都在，只是很多书没有包括进来而已?

还有比如组合逻辑里面的always(*)的表示方法，在语法书上也没有找到。

xilinx userguide UG625

Xilinx使用手则吧，之类的书。用于在线逻辑分析

    Xilinx的user guide里面有说，时序优化部分

这是verilog2000的语法