英语 词库
Cadence Symbolic Model Verifier File 强调
缩写, 文件扩展名	SMV

Cadence : 81 短语, 16 学科

一般	31
军队	11
医疗的	3
商业活动	1
声学	1
媒体	2
技术	4
汽车	1
法语	3
电信	2
美国人	2
行话	2
软件	1
运输	1
音乐	12
马卡罗夫	4