多级基于断言的设计

2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) Pub Date : 2007-05-30 DOI:10.1109/MEMCOD.2007.371244

H. Eveking, Martin Braun, Martin Schickel, Martin Schweikert, Volker Nimbler

{"title":"多级基于断言的设计","authors":"H. Eveking, Martin Braun, Martin Schickel, Martin Schweikert, Volker Nimbler","doi":"10.1109/MEMCOD.2007.371244","DOIUrl":null,"url":null,"abstract":"Assertions are advocated as a means to specify high-level models of a design. Assertions are translated into executable behavioral models (\"cando-objects\"). The cando-objects reflect the intended non-determinism of assertions as well as the non-determinism caused by the incompleteness of a set of assertions. The approach supports significant design methodological concepts like refinement and compositionality.","PeriodicalId":345459,"journal":{"name":"2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007)","volume":"30 7 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"Multi-Level Assertion-Based Design\",\"authors\":\"H. Eveking, Martin Braun, Martin Schickel, Martin Schweikert, Volker Nimbler\",\"doi\":\"10.1109/MEMCOD.2007.371244\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Assertions are advocated as a means to specify high-level models of a design. Assertions are translated into executable behavioral models (\\\"cando-objects\\\"). The cando-objects reflect the intended non-determinism of assertions as well as the non-determinism caused by the incompleteness of a set of assertions. The approach supports significant design methodological concepts like refinement and compositionality.\",\"PeriodicalId\":345459,\"journal\":{\"name\":\"2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007)\",\"volume\":\"30 7 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-05-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MEMCOD.2007.371244\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MEMCOD.2007.371244","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 7

摘要

主张将断言作为指定设计的高级模型的一种方法。断言被转换成可执行的行为模型(“cando-objects”)。cando-object反映了断言的非决定论以及由一组断言的不完全性引起的非决定论。该方法支持重要的设计方法论概念，如精细化和组合性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Multi-Level Assertion-Based Design

Assertions are advocated as a means to specify high-level models of a design. Assertions are translated into executable behavioral models ("cando-objects"). The cando-objects reflect the intended non-determinism of assertions as well as the non-determinism caused by the incompleteness of a set of assertions. The approach supports significant design methodological concepts like refinement and compositionality.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007)

自引率

0.00%

发文量