基于Rebeca模型的硬件设计形式化验证

形式化验证是对传统验证方法的补充,是数字电路验证的一条有效途径,对于并发系统,行为建模是一种非常合适的建模方法;Rebeca是由Sirjani和Movaghar提出的一种基于行为的建模语言,支持形式化,一方面,Rebeca是一种类Java的语言,软件工程师很容易使用,另一方面,它是一种支持形式化验证及其相关理论的模型语言,可以为不精通于形式化方法的开发人员和研究人员提供方便的验证过程;在深入研究Rebeca的基础上,采用Rebeca对硬件设计进行建模,然后Modere形式化验证工具对AES密码芯片进行形式化验证。

LE SAUNDA携手欧洲皇室名履REBECA SANVER

日前，知名鞋履品牌Ie Saunda集团与深受欧洲皇室名人及潮流人士所喜爱的品牌Rebeca Sanver携手举行了“le Saunda＆Rebeca Sanver2008秋冬货品鉴赏会及签约发布仪式”，标志着这两大品牌强强联手，为双方取得共赢局面的合作正式开始。