1)  Open Vera
Open Vera
1.
Development of a function verification testbench of an IIC bus interface based on Open Vera;
基于Open Vera的IIC总线接口功能验证平台的搭建
2)  Open vera Asseriton
Open vera Asseriton
3)  Vera
Vera
1.
A Vera Modeling Verification Method in Integrated Circuit;
一种基于Vera的集成电路建模验证方法
2.
The Verification Environment of MAC Using Vera;
基于Vera语言的MAC验证环境实现
3.
But vera supply the great language power for verification.
Vera为验证增添了强大的语言能力。
4)  OPEN
OPEN
5)  Vera
Vera语言
6)  VERA verification
VERA验证
参考词条
补充资料：aloe vera gel
分子式：
CAS号：

性质：从多年生百合科芦荟叶的肉汁部分所得的液汁(经提纯加工)，主要有芦荟大黄素，芦荟蒽酮，多种糖类、酶、氨基酸等组成。为淡黄绿色液体，相对密度为0.98～1.02，pH值4～6。主要用于化妆品中的皮肤、头发保护用品，具有保湿、防晒、防臭、防肥胖、软化皮肤，消炎止痒，防粉刺、雀斑等功效。也可用于医药和食品中。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。