Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.最新文献_第3页

Reliable design with multiple clock domains 具有多个时钟域的可靠设计

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Pub Date : 2006-07-27 DOI: 10.1109/MEMCOD.2006.1695917

Ed Czeck, Ravi Nanavati, Joe Stoy

引用次数: 10

Compositional interaction specifications for SystemC SystemC的组合交互规范

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Pub Date : 2006-07-27 DOI: 10.1109/MEMCOD.2006.1695930

F. Doucet, Ingolf Krüger, Rajesh K. Gupta, R. Shyamasundar

{"title":"Compositional interaction specifications for SystemC","authors":"F. Doucet, Ingolf Krüger, Rajesh K. Gupta, R. Shyamasundar","doi":"10.1109/MEMCOD.2006.1695930","DOIUrl":"https://doi.org/10.1109/MEMCOD.2006.1695930","url":null,"abstract":"SystemC is being widely used for system-level modeling of system-on-chip. When designing this class of system, one of the main challenges is to guarantee the correctness of the implementation. This can be especially difficult for designs that are composed of concurrent components with lot of interactions. Most designers use a component-based design approach, where one has an informal idea of how the design should behave, define component specifications, implement and assemble the components into a program, and then check for correctness by simulating the design with a number of testbenches. With this methodology, bugs often go undetected because when using simulation, it is very difficult to test for all possible interactions. To overcome this limitation, our goal is to establish a specification and verification methodology for SystemC. To address the scalability issue, which is a serious limiting factor in state-based verification approaches, we use the concepts of behavioral types; allowing us to effectively infer system properties from properties of its components. In this paper, we answer the following questions: (1) what is a behavioral type? (2) how are behavioral type defined? and (3) how to use the behavioral types in a compositional verification methodology","PeriodicalId":301159,"journal":{"name":"Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.","volume":"218 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116234112","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Scalable program analysis using Boolean satisfiability 使用布尔可满足性的可扩展程序分析

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Pub Date : 2006-07-27 DOI: 10.1109/MEMCOD.2006.1695908

A. Aiken

引用次数: 0

Component-based hardware/software co-verification 基于组件的硬件/软件协同验证

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Pub Date : 2006-07-27 DOI: 10.1109/MEMCOD.2006.1695897

Fei Xie, Guowu Yang, Xiaoyu Song

引用次数: 11

The SystemJ approach to system-level design 系统级设计的SystemJ方法

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Pub Date : 2006-07-27 DOI: 10.1109/MEMCOD.2006.1695918

F. Gruian, P. Roop, Z. Salcic, Ivan Radojevic

引用次数: 28

Formal methods for checking realizability of coalitions in 3-party systems 检验三党制联盟可实现性的形式化方法

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Pub Date : 2006-07-27 DOI: 10.1109/MEMCOD.2006.1695927

A. Banerjee, P. Dasgupta, P. Chakrabarti

引用次数: 0

Panel: Nano-computing - do we need new formal approaches ? 专题讨论:纳米计算——我们需要新的正式方法吗?

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Pub Date : 2006-07-27 DOI: 10.1109/MEMCOD.2006.1695906

M. Hsiao, S. Shukla, M. Gokhale, A. Lebeck

{"title":"Panel: Nano-computing - do we need new formal approaches ?","authors":"M. Hsiao, S. Shukla, M. Gokhale, A. Lebeck","doi":"10.1109/MEMCOD.2006.1695906","DOIUrl":"https://doi.org/10.1109/MEMCOD.2006.1695906","url":null,"abstract":"With current CMOS technologies reaching beyond 65 nanometers mark, and the highlights of computing fabrics such as molecular, DNA guided assemblies, quantum comput- ing, carbon nanotube based transistors etc. are bringing the focus onto nanotechnology.The term nano-computing now implies computing with alternative emerging nano-scale technologies as well as with large scale parallelism afforded by the shrinking silicon technologies, with the added burden of rampant defects and faults. The optimization factors and assumptions we made so far in hardware designs become no longer valid for such computing fabrics. The parallelism heretofore unavailable can now be applied, and help us realize newer ways of designing softwares and algorithms. The question therefore to ask is: do we need drastic new approaches to design hardware and software? This panel comprising of experts from formal methods, reliability, spatial computing, hardware/software design will discuss this question from individual perspectives in an attempt to come up with a cogent set of questions researchers need to answer.","PeriodicalId":301159,"journal":{"name":"Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125791805","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Games for formal design and verification of reactive systems 反应性系统的正式设计和验证游戏

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Pub Date : 2004-10-31 DOI: 10.1109/MEMCOD.2006.1695893

R. Alur

引用次数: 1

Keynote Talk I 主题演讲一

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Pub Date : 1900-01-01 DOI: 10.1109/memcod.2006.1695892

S. Shukla

引用次数: 0

Proceedings. Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06) (IEEE Cat. No. 06EX1398) 程序。第四届ACM和IEEE共同设计的形式化方法和模型国际会议。(memcode '06)06 ex1398)

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Pub Date : 1900-01-01 DOI: 10.1109/MEMCOD.2006.1695887

引用次数: 0