（1）条件句中的选择值必在表达式的取值范围内。
（2）除非所有条件句中的选择值能完整覆盖CASE语句中表达式的取值，否则最末一个条件句中的选择必须用"OTHERS”表示，它代表己给的所有条件句中未能列出的其它可能的取值。关键词OTHERS只能出现一次，目只能作为最后一种条件取值。使用OTHERS的目的是为了使条件句中的所有选择值能涵盖表达式的所有取值，以免综合器会插入不必要的锁存器。这一点对于定义为STD LOGIC和STD LOGICVECTOR数据类型的值尤为重要，因为这些数据对象的取值除了1和0以外，还可能有其它的取值，如高阻态Z、不定态X等。
（3）CASE语句中每一条件句的选择值只能出现一次，不能有相同选择值的条件语句出现。
（4）CASE语句执行中必须选中，目只能选中所列条件语句中的一条。这表明CASE语句中至少要包含一个条件语句。

信号延时赋值，变量立即赋值；
信号的代入使用<=，变量的代入使用：=；
信号在实际的硬件当中有对应的连线，变量没有

复杂可编程逻辑器件（Complex Programmable Logic Device）

可编程片上系统（System On Programmable Chip）

可编程只读存储器（Programmable Read Memory）