基于异步电路的微机电系统设计与综合的工具与模型

Proceedings of IEEE International Conference on Industrial Technology 2000 (IEEE Cat. No.00TH8482) Pub Date : 2000-01-19 DOI:10.1109/ICIT.2000.854098

F. Jiménez, M. Courvoisier, A. Garcia, G. Muñoz, N. Harchani, M. Al-Mohamed, D. Esteve

{"title":"基于异步电路的微机电系统设计与综合的工具与模型","authors":"F. Jiménez, M. Courvoisier, A. Garcia, G. Muñoz, N. Harchani, M. Al-Mohamed, D. Esteve","doi":"10.1109/ICIT.2000.854098","DOIUrl":null,"url":null,"abstract":"The improvement of micro-technologies in the microelectronics world has allowed the creation of ultra miniaturised devices, which are called MEMS-micro electro mechanical systems or microsystems. A major problem concerns the design of these heterogeneous circuits because it associates disciplines such as electronics, mechanics, chemistry, etc. This paper presents models and tools developed for system design and synthesis of MEMS based on SDL (specification description language), structured analysis for real time (SA-RT) and Petri nets (PN).","PeriodicalId":405648,"journal":{"name":"Proceedings of IEEE International Conference on Industrial Technology 2000 (IEEE Cat. No.00TH8482)","volume":"316 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2000-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Tools and models for systems design and synthesis of MEMS based on asynchronous circuits\",\"authors\":\"F. Jiménez, M. Courvoisier, A. Garcia, G. Muñoz, N. Harchani, M. Al-Mohamed, D. Esteve\",\"doi\":\"10.1109/ICIT.2000.854098\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The improvement of micro-technologies in the microelectronics world has allowed the creation of ultra miniaturised devices, which are called MEMS-micro electro mechanical systems or microsystems. A major problem concerns the design of these heterogeneous circuits because it associates disciplines such as electronics, mechanics, chemistry, etc. This paper presents models and tools developed for system design and synthesis of MEMS based on SDL (specification description language), structured analysis for real time (SA-RT) and Petri nets (PN).\",\"PeriodicalId\":405648,\"journal\":{\"name\":\"Proceedings of IEEE International Conference on Industrial Technology 2000 (IEEE Cat. No.00TH8482)\",\"volume\":\"316 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2000-01-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of IEEE International Conference on Industrial Technology 2000 (IEEE Cat. No.00TH8482)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICIT.2000.854098\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of IEEE International Conference on Industrial Technology 2000 (IEEE Cat. No.00TH8482)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICIT.2000.854098","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

微电子世界中微技术的进步使得超小型化设备的产生成为可能，这些设备被称为mems微机电系统或微系统。设计这些异质电路是一个主要问题，因为它涉及电子、机械、化学等学科。本文介绍了基于SDL(规范描述语言)、实时结构化分析(SA-RT)和Petri网(PN)的MEMS系统设计和综合开发的模型和工具。

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

查看原文本刊更多论文

Tools and models for systems design and synthesis of MEMS based on asynchronous circuits

The improvement of micro-technologies in the microelectronics world has allowed the creation of ultra miniaturised devices, which are called MEMS-micro electro mechanical systems or microsystems. A major problem concerns the design of these heterogeneous circuits because it associates disciplines such as electronics, mechanics, chemistry, etc. This paper presents models and tools developed for system design and synthesis of MEMS based on SDL (specification description language), structured analysis for real time (SA-RT) and Petri nets (PN).

求助全文

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

来源期刊

Proceedings of IEEE International Conference on Industrial Technology 2000 (IEEE Cat. No.00TH8482)

自引率

0.00%

发文量