$sigend是否可综合？_vivado $signed能不能综合

在实现移位器的时候，发现">>>"操作符并没有实现算术右移。
在网上搜索之后，网友给出了使用$signed的思路解决：
https://blog.csdn.net/adaliu1998/article/details/80459262

然后新的问题来了，这种写法可以被综合吗？
经过一番搜索，在下面这个网站上找到了答案：
https://www.edaboard.com/threads/is-signed-task-is-synthesizable-in-verilog-2001.208908/

然而似乎有不同的意见，

顺着第一个回答的意见，找到了coding guidelines for datapath synthesis这本synopsys公司的手册。
手册给出了回答，并且推荐这种写法，认为这种写法是好的（QoR，quality of results)