关于算术运算问题，大侠请进

在use IEEE.STD_LOGIC_UNSIGNED.ALL;条件下
对a, b, c :  STD_LOGIC_VECTOR (7 downto 0);
和 x： STD_LOGIC_VECTOR (8 downto 0);
进行x= a+b-c;的运算，应该怎样实现，谢谢各位大侠
另外好像modelsim中的数据都是以signed的形式显示的，那么怎样检查结果对不对呢，
第一次来，请给位大侠多多指教，谢谢

use IEEE.STD_LOGIC_UNSIGNED.ALL;条件下
对a, b, c :  STD_LOGIC_VECTOR (7 downto 0);
和 x： STD_LOGIC_VECTOR (8 downto 0);
进行运算x<= a+b-c;
请问以上语句是否正确？x是否会溢出，有减法运算，x的符号怎样确定？
若是x<=a-c;结果又会怎样呢？
刚刚起步，还有好多不懂，请指教，另外，请问你有vhdl的交流群吗，有的话给我一个吧，在网上没有找到，谢谢了
祝工作、学习都开心

666666666666666666666