The synthesis of hardware from object oriented specifications is presented. Our approach utilizes the e language that has been proven to be highly efficient for the verification of hardware. The e language is similar to Java and provides additional constructs for specification and verification of hardware. We describe an automated design flow for the synthesis of object oriented descriptions that tightly integrates simulation based verification. The usability of our approach is demonstrated by real-world examples.
展开▼
机译:提出了来自面向对象规格的硬件的合成。我们的方法利用 e i> b>语言已被证明是为了高效的硬件验证。 e i> b>语言类似于Java,并为硬件的规范和验证提供了其他构造。我们描述了一种用于合成对象面向描述的自动设计流程,其紧密地集成了基于仿真的验证。现实世界的例子证明了我们方法的可用性。
展开▼