发布求助
文献互助 智能选刊 最新文献

2009 IEEE Behavioral Modeling and Simulation Workshop最新文献

筛选
英文 中文
A modeling methodology for verifying functionality of a wireless chip 一种验证无线芯片功能的建模方法
2009 IEEE Behavioral Modeling and Simulation Workshop Pub Date : 2009-11-20 DOI: 10.1109/BMAS.2009.5338880
J. Chen
{"title":"A modeling methodology for verifying functionality of a wireless chip","authors":"J. Chen","doi":"10.1109/BMAS.2009.5338880","DOIUrl":"https://doi.org/10.1109/BMAS.2009.5338880","url":null,"abstract":"This paper describes a modeling methodology for verifying functionality of a mixed signal wireless chip before tape out. Modeling methodologies for mixed signal chips can be distinguished by the way they deal with analog signals. The methodology uses a custom Verilog PLI function to model analog blocks for a digital simulator. The PLI function passes multiple real numbers through one port, in either direction, at any point in time. The key issues the methodology addresses are execution speed, capacity, model portability, and coverage.","PeriodicalId":169567,"journal":{"name":"2009 IEEE Behavioral Modeling and Simulation Workshop","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123065614","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}
引用次数: 14
Full system verification of CAN network at high speed transmission rate using VHDL-AMS 利用VHDL-AMS对高速传输速率的CAN网络进行了全系统验证
2009 IEEE Behavioral Modeling and Simulation Workshop Pub Date : 2009-11-20 DOI: 10.1109/BMAS.2009.5338882
Thang V. Nguyen, M. Duregger, G. Pelz
{"title":"Full system verification of CAN network at high speed transmission rate using VHDL-AMS","authors":"Thang V. Nguyen, M. Duregger, G. Pelz","doi":"10.1109/BMAS.2009.5338882","DOIUrl":"https://doi.org/10.1109/BMAS.2009.5338882","url":null,"abstract":"This paper considers the full system verification of a large size CAN network (up to 24 nodes) at high transmission rate (500 Kbps and 1.0Mbps). The entire CAN physical layer is simulated by using behavior modeling language (VHDL-AMS) in comparison to measurement. The modeling of measurement environment of the CAN network is discussed, showing how to get the measurement and simulation results well matched. This demonstrates that the simulation solution is reliable, which is highly desired and very important for the verification requirement in CAN physical layer design. With the developed CAN measurement system, application layer is also proven working properly when implementing different non-standard topologies at high speed transmission rate.","PeriodicalId":169567,"journal":{"name":"2009 IEEE Behavioral Modeling and Simulation Workshop","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125251375","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}
引用次数: 2
Mixed signal system design verification accelerated with detector-based diagnostic method 基于检测器的诊断方法加速了混合信号系统的设计验证
2009 IEEE Behavioral Modeling and Simulation Workshop Pub Date : 2009-11-20 DOI: 10.1109/BMAS.2009.5338887
D. Dammers, C. Domingues, Daniel Schollän, Lars M. Voßkämper
{"title":"Mixed signal system design verification accelerated with detector-based diagnostic method","authors":"D. Dammers, C. Domingues, Daniel Schollän, Lars M. Voßkämper","doi":"10.1109/BMAS.2009.5338887","DOIUrl":"https://doi.org/10.1109/BMAS.2009.5338887","url":null,"abstract":"Mixed-signal simulation of complete systems, i.e. pure analog/digital systems or electronics with its attached peripherals, such as sensor and actuator systems, already have a firm place in today's design process. While the digital part verification has gained a speed increase through the use of Accllera's Property Specification Language (PSL), the analog part suffers from not being supported by this language. To speed up the verification of the analog part innovation is needed. Based on assertion concepts, this paper presents an innovative methodology for the verification of mixed-signal circuits. Electrical validation of a sensor amplifier design serves aas demonstrator for this methodology.","PeriodicalId":169567,"journal":{"name":"2009 IEEE Behavioral Modeling and Simulation Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129624490","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}
引用次数: 2
Event driven analog modeling for the verification of PLL frequency synthesizers 验证锁相环频率合成器的事件驱动模拟建模
2009 IEEE Behavioral Modeling and Simulation Workshop Pub Date : 2009-11-20 DOI: 10.1109/BMAS.2009.5338892
Yifan Wang, Christoph van Meersbergen, Hans-Werner Groh, S. Heinen
{"title":"Event driven analog modeling for the verification of PLL frequency synthesizers","authors":"Yifan Wang, Christoph van Meersbergen, Hans-Werner Groh, S. Heinen","doi":"10.1109/BMAS.2009.5338892","DOIUrl":"https://doi.org/10.1109/BMAS.2009.5338892","url":null,"abstract":"The focus of this work is to provide a efficient modeling approach for the functional verification of complex analog frequency synthesizers. The event driven analog modeling approach uses the double precision data type wreal (supported by VerilogAMS), that enables analog accuracy in the digital simulation domain. It is therefore possible to separate high frequency signal paths in the frequency synthesizers from the analog domain, in order to archive higher simulation efficiency for fast verification purposes. The modeling approach and an investigation of the necessary accuracy requirements for the verification including phase noise performances of the analog frequency synthesizers is presented. The proposed approach is demonstrated on baseof a sub micron CMOS Fractional-N frequency synthesizer and compared with different traditional modeling approaches, like phase model and pure digital model. The paper concludes with a proposal of a verification approach for RF mixed signal systems.","PeriodicalId":169567,"journal":{"name":"2009 IEEE Behavioral Modeling and Simulation Workshop","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122237170","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}
引用次数: 21
System level modeling of smart power switches using SystemC-AMS for digital protection concept verification 使用SystemC-AMS对智能电源开关进行系统级建模，用于数字保护概念验证
2009 IEEE Behavioral Modeling and Simulation Workshop Pub Date : 2009-11-20 DOI: 10.1109/BMAS.2009.5338890
Hans-Peter Kreuter, V. Kosel, M. Glavanovics, R. Illing
{"title":"System level modeling of smart power switches using SystemC-AMS for digital protection concept verification","authors":"Hans-Peter Kreuter, V. Kosel, M. Glavanovics, R. Illing","doi":"10.1109/BMAS.2009.5338890","DOIUrl":"https://doi.org/10.1109/BMAS.2009.5338890","url":null,"abstract":"This paper presents a method for the compact modeling, simulation and experimental verification of digital protection functions of smart power switches consisting of a digital controller and a power MOSFET with analog driving circuitry. We focus on short circuit events in an automotive environment where high power dissipation and thermal stress severely affect device reliability. For accurate temperature calculation, a non-linear thermal network including coupling between power transistor channels is used. A digital strategy for over current limitation, short circuit detection and over-temperature shutdown is modeled using SystemC-AMS and verified experimentally using a hardware-in-the-loop system.","PeriodicalId":169567,"journal":{"name":"2009 IEEE Behavioral Modeling and Simulation Workshop","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115288685","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}
引用次数: 9
Prediction of Harmonic Distortion in ADCs using dynamic Integral Non-Linearity model 动态积分非线性模型预测adc谐波畸变
2009 IEEE Behavioral Modeling and Simulation Workshop Pub Date : 2009-11-20 DOI: 10.1109/BMAS.2009.5338881
H. Fraz, N. Björsell, J. Kenney, R. Sperlich
{"title":"Prediction of Harmonic Distortion in ADCs using dynamic Integral Non-Linearity model","authors":"H. Fraz, N. Björsell, J. Kenney, R. Sperlich","doi":"10.1109/BMAS.2009.5338881","DOIUrl":"https://doi.org/10.1109/BMAS.2009.5338881","url":null,"abstract":"This paper investigates the application of dynamic, Integral Non-Linearity (INL) model of Analog-to-Digital Converters (ADC) to predict the harmonic distortion in pipelined ADCs. The device used to validate the model is Texas Instruments' ADS6129; a 12-bit, 250 MSPS1 pipelined ADC. The performance of the model is measured using single tones in the first Nyquist zone, with an amplitude ranging between −1 dBFS2 and −46 dBFS. Total Harmonic Distortion (THD) and Spurious Free Dynamic Range (SFDR) are used as metrics to compare the performance of the model to the actual ADC. The results indicate that a model for High Code Frequency (HCF) INL is essential for correct prediction of distortion for input signals with small amplitudes. The results also suggest that dynamic INL models offer an effective method to model the distortion in ADCs until Nyquist frequency only. Beyond Nyquist frequency, the non-linear effects of Track and Hold (T/H) start manifesting and the INL model can no longer account for all the distortion seen at the output of ADCs.","PeriodicalId":169567,"journal":{"name":"2009 IEEE Behavioral Modeling and Simulation Workshop","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134604386","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}
引用次数: 6
VHDL-AMS behavioural modelling of a CMUT element CMUT元素的VHDL-AMS行为建模
2009 IEEE Behavioral Modeling and Simulation Workshop Pub Date : 2009-11-20 DOI: 10.1109/BMAS.2009.5338895
S. Frew, H. Najar, E. Cretu
{"title":"VHDL-AMS behavioural modelling of a CMUT element","authors":"S. Frew, H. Najar, E. Cretu","doi":"10.1109/BMAS.2009.5338895","DOIUrl":"https://doi.org/10.1109/BMAS.2009.5338895","url":null,"abstract":"This paper reports the development, implementation and simulation of a behavioural model written in VHDL-AMS for a capacitive micromachined ultrasonic transducer (CMUT). Unlike previous behavioural models, this model incorporates the non-linear electro-mechanical relation of the CMUT. VHDL-AMS was chosen for the ease with which it can be used to implement these relations, and for its portability between software platforms. To the best of the authors' knowledge, this is the first reported VHDL-AMS model of a CMUT. The simulation results demonstrate that the model can be used to sumulate a number of scenarios, including frequency responses, time responses and effects of DC bias voltage. Results are compared to a finite element method model, and show excellent agreement in resonant frequency and a 16% error in pull-in voltage.","PeriodicalId":169567,"journal":{"name":"2009 IEEE Behavioral Modeling and Simulation Workshop","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129729785","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}
引用次数: 11
Powering embedded CMOS logic on MEMS-based micro-robots 为基于mems的微型机器人的嵌入式CMOS逻辑供电
2009 IEEE Behavioral Modeling and Simulation Workshop Pub Date : 2009-11-20 DOI: 10.1109/BMAS.2009.5338884
Jung H. Cho, M. Arnold
{"title":"Powering embedded CMOS logic on MEMS-based micro-robots","authors":"Jung H. Cho, M. Arnold","doi":"10.1109/BMAS.2009.5338884","DOIUrl":"https://doi.org/10.1109/BMAS.2009.5338884","url":null,"abstract":"A hypothetical new digital-design paradigm called Field Programmable Robot Arrays (FPRAs) has been introduced in [1] which raises a number problems that need to be solved for successful implementation. An FPRA combines CMOS reprogrammable logic with micro-robots having constrained motion and sensing capabilities. The goal of the FPRAs is to build digital-logic structures by physical motion as well as the electronic reconfiguration (commonly used in prior programmable logic). In this paper, we present the development of a circuit for powering the digital logic portion of FPRAs. We assume for physical motion the FPRA uses MEMS-based scratch drive actuator (SDA) micro-robots like those developed by Donald et al. [2] as a foundation to build other features needed to develop FPRA. We validate this by developing Verilog-A model of an electrostatic actuator and simulating in Cadence AMS (Analog Mixed Signal) environment.","PeriodicalId":169567,"journal":{"name":"2009 IEEE Behavioral Modeling and Simulation Workshop","volume":"128 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116202984","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}
引用次数: 5
The PRAISE approach for accelerated transient analysis applied to wire models 加速瞬态分析的PRAISE方法应用于线材模型
2009 IEEE Behavioral Modeling and Simulation Workshop Pub Date : 2009-11-20 DOI: 10.1109/BMAS.2009.5338876
D. Zaum, Stefan Hoelldampf, M. Olbrich, E. Barke, I. Neumann, Sebastian Schmidt
{"title":"The PRAISE approach for accelerated transient analysis applied to wire models","authors":"D. Zaum, Stefan Hoelldampf, M. Olbrich, E. Barke, I. Neumann, Sebastian Schmidt","doi":"10.1109/BMAS.2009.5338876","DOIUrl":"https://doi.org/10.1109/BMAS.2009.5338876","url":null,"abstract":"Continuously shrinking design sizes and the integration of digital and analog blocks in a single IC are clearly identifiable trends in today's microelectronics industry. As both trends increase design complexity and concurrently make the outcome of manufacturing processes less predictable, manufacturing yield is potentially endangered. As a countermeasure, new methodologies for the simulation of mixed-signal-circuits are required. In this paper, we describe a new simulation kernel for the previously presented PRAISE methodology. It accelerates the transient simulation of analog mixed-signal systems by generating and employing abstract circuit models during runtime. We apply the methodology to wire models and discuss results and runtime behavior of different implementations. Furthermore, we present an automated XML-based approach at interfacing PRAISE with arbitrary simulation environments using SystemC.","PeriodicalId":169567,"journal":{"name":"2009 IEEE Behavioral Modeling and Simulation Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129666959","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}
引用次数: 7
Supporting dimensional analysis in SystemC-AMS 支持SystemC-AMS的尺寸分析
2009 IEEE Behavioral Modeling and Simulation Workshop Pub Date : 2009-11-20 DOI: 10.1109/BMAS.2009.5338878
Torsten Mähne, A. Vachoux
{"title":"Supporting dimensional analysis in SystemC-AMS","authors":"Torsten Mähne, A. Vachoux","doi":"10.1109/BMAS.2009.5338878","DOIUrl":"https://doi.org/10.1109/BMAS.2009.5338878","url":null,"abstract":"This paper will introduce new modeling capabilities for SystemC-AMS to describe energy conserving multi-domain systems in a formal and consistent way at a high level of abstraction. To this end, all variables and parameters of the system model need to be annotated with their measurement units in such a way that they become intrinsic part of the data type. This enforces correct model assembly through strict interfaces and coherent formulas describing the analog behavior by means of dimensional analysis. A library of generic block diagram components has been developed to demonstrate how both requirements can be met using the Boost libraries together with SystemC-AMS. The demonstrated implementation techniques are the key to integrate new Models of Computation (MoCs) into SystemC-AMS to facilitate further the description of multi-domain systems.","PeriodicalId":169567,"journal":{"name":"2009 IEEE Behavioral Modeling and Simulation Workshop","volume":"363 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115975747","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}
引用次数: 15
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信