首页>
外国专利>
Method for verifying hardware/software co-designs
Method for verifying hardware/software co-designs
展开▼
机译:验证硬件/软件协同设计的方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method for formally verifying a hardware/software co-design includes providing in a co-design, a first model, and a second model, the first model is one of a hardware model, and the second model is one of a software model, or vice versa, providing a safety property expected to be satisfied by the co-design, combining an abstraction of the first model and the safety property to obtain an abstracted first model, composing the abstracted first model and the second model to obtain a composed model, checking if the composed model satisfies the safety property, and signaling that the hardware/software co-design violates the safety property if the safety property is violated in the composed model.
展开▼