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

Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257)最新文献

筛选
英文 中文
Formal verification of a microprocessor control 微处理器控制的正式验证
Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257) Pub Date : 2001-08-14 DOI: 10.1109/MWSCAS.2001.986272
Lubomir Ivanov
{"title":"Formal verification of a microprocessor control","authors":"Lubomir Ivanov","doi":"10.1109/MWSCAS.2001.986272","DOIUrl":"https://doi.org/10.1109/MWSCAS.2001.986272","url":null,"abstract":"The complexity of the instruction set of modern processors often leads to faults in the microinstruction sequencing, and timing errors, which are difficult to detect with conventional simulation methods. Formal verification offers a powerful alternative for dealing with these problems. In this paper we present a mathematical model of the microcode of a transputer-like microprocessor, and demonstrate how to test for the satisfaction of desired properties and the absence of improper microinstruction sequencing. The verification is based on a recently introduced technique using the inductively defined notion of series parallel posets, which offers low time and space complexity.","PeriodicalId":403026,"journal":{"name":"Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128752638","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
A novel highly stable multiple-feedback oversampled lowpass /spl Sigma/-/spl Delta/ A/D converter configuration 一种新型的高稳定多反馈过采样低通/spl Sigma/-/spl Delta/ A/D转换器配置
Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257) Pub Date : 2001-08-14 DOI: 10.1109/MWSCAS.2001.986160
N. A. Fraser, B. Nowrouzian
{"title":"A novel highly stable multiple-feedback oversampled lowpass /spl Sigma/-/spl Delta/ A/D converter configuration","authors":"N. A. Fraser, B. Nowrouzian","doi":"10.1109/MWSCAS.2001.986160","DOIUrl":"https://doi.org/10.1109/MWSCAS.2001.986160","url":null,"abstract":"The existing multiple-feedback /spl Sigma/-/spl Delta/ A/D converters usually feature, (a) complementary signal and noise transfer functions, and/or (b) unit-circle noise transfer function zeros. However, in corresponding switched-capacitor (SC) hardware implementations, such A/D converters may become prone to instability as a result of capacitor mismatches. This paper is concerned with the development of a novel multiple-feedback lowpass /spl Sigma/-/spl Delta/ A/D converter having, instead, magnitude-squared or magnitude complementary signal and noise transfer functions. The proposed A/D converter offers increased stability performance in the presence of capacitor mismatches in the SC hardware implementation. In addition, by ensuring that the noise transfer function zeros are located at DC, the SC hardware implementation embodies a significant improvement in both capacitance spread and total capacitance.","PeriodicalId":403026,"journal":{"name":"Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127219238","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
Approximating functions for embedded and ASIC applications 用于嵌入式和ASIC应用的近似函数
Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257) Pub Date : 2001-08-14 DOI: 10.1109/MWSCAS.2001.986215
J. W. Hauser, Carla N. Purdy
{"title":"Approximating functions for embedded and ASIC applications","authors":"J. W. Hauser, Carla N. Purdy","doi":"10.1109/MWSCAS.2001.986215","DOIUrl":"https://doi.org/10.1109/MWSCAS.2001.986215","url":null,"abstract":"Often embedded programmers and application specific integrated circuit (ASIC) designers are frustrated by the inability to realize near floating-point accuracy. in a fixed-point application. The problem is not limited to function approximation but also impacts FIR filter design. In this paper we examine the problem of approximating a known function on a closed interval and show that a genetic algorithm (GA) may be used to obtain results superior to those obtained by implementing floating-point algorithms, such as Taylor series and Chebyshev polynomials, in fixed-point directly.","PeriodicalId":403026,"journal":{"name":"Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129162182","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
A new transimpedance preamplifier topology for high-frequency applications 一种用于高频应用的新型跨阻前置放大器拓扑
Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257) Pub Date : 2001-08-14 DOI: 10.1109/MWSCAS.2001.986301
J. Martínez-Castillo, A. Díaz-Sánchez
{"title":"A new transimpedance preamplifier topology for high-frequency applications","authors":"J. Martínez-Castillo, A. Díaz-Sánchez","doi":"10.1109/MWSCAS.2001.986301","DOIUrl":"https://doi.org/10.1109/MWSCAS.2001.986301","url":null,"abstract":"A fully new CMOS transimpedance preamplifier topology for fiber optics receivers is presented. It is based on the common-gate topology, with negative feedback to increase the bandwidth of the circuit. A bandwidth of 2.7 GHz, with important noise reduction, was achieved. Intermodulation products of 42 dB below the carrier were obtained. Simulations were performed using BSIM3v3 models for HSPICE and Spectre-CADENCE software.","PeriodicalId":403026,"journal":{"name":"Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257)","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126933950","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}
引用次数: 3
Chaotic switching system using mixed-mode chaotic circuit 混沌开关系统采用混模混沌电路
Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257) Pub Date : 2001-08-14 DOI: 10.1109/MWSCAS.2001.986259
R. Kılıç, M. Alçı
{"title":"Chaotic switching system using mixed-mode chaotic circuit","authors":"R. Kılıç, M. Alçı","doi":"10.1109/MWSCAS.2001.986259","DOIUrl":"https://doi.org/10.1109/MWSCAS.2001.986259","url":null,"abstract":"We present a new chaotic switching system for transmission of digital signals via a mixed-mode chaotic circuit which has both autonomous and nonautonomous chaotic dynamics via a switching method. In the transmitter based on mixed-mode chaotic circuit, a digital information signal and its inverse signal control two switches whose complementary actions change the chaotic mode of transmitter. The receiver consists of two synchronous chaotic subsystems whose chaotic regimes are of different modes. In this system, we used the idea of one-way coupling technique to observe chaos synchronization between the transmitter and the receiver. The static and dynamic performances of the system have been investigated and simulation results verify our approach.","PeriodicalId":403026,"journal":{"name":"Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257)","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130771572","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}
引用次数: 4
Improved modeling for transit time and excess phase delay of advanced bipolar transistors at high current densities 改进了高电流密度下先进双极晶体管传输时间和多余相位延迟的建模
Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257) Pub Date : 2001-08-14 DOI: 10.1109/MWSCAS.2001.986319
Seonghearn Lee
{"title":"Improved modeling for transit time and excess phase delay of advanced bipolar transistors at high current densities","authors":"Seonghearn Lee","doi":"10.1109/MWSCAS.2001.986319","DOIUrl":"https://doi.org/10.1109/MWSCAS.2001.986319","url":null,"abstract":"Bias-dependent data of the forward transit time and excess phase delay at high current densities are extracted using an accurate measurement technique based on Z-parameter equations. Using these data, simple expressions of these parameters have been developed to improve a RF large-signal bipolar transistor model, and their accuracy is verified by showing good agreements with measured data.","PeriodicalId":403026,"journal":{"name":"Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130787702","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
A low-voltage fully differential CMOS high-speed sample-and-hold circuit 一种低压全差分CMOS高速采样保持电路
Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257) Pub Date : 2001-08-14 DOI: 10.1109/MWSCAS.2001.986157
Tsung-Sum Lee, Kai-Ren Hsiao
{"title":"A low-voltage fully differential CMOS high-speed sample-and-hold circuit","authors":"Tsung-Sum Lee, Kai-Ren Hsiao","doi":"10.1109/MWSCAS.2001.986157","DOIUrl":"https://doi.org/10.1109/MWSCAS.2001.986157","url":null,"abstract":"A new technique for realizing a low-voltage fully differential CMOS high-speed sample-and-hold (S/H) circuit is presented. The design consideration of the building blocks is described in detailed. Simulation results are given to demonstrate the potential advantage of the new technique.","PeriodicalId":403026,"journal":{"name":"Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130836539","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
An accurate CMOS current source for low-voltage transmitter drivers 用于低压变送器驱动的精确CMOS电流源
Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257) Pub Date : 2001-08-14 DOI: 10.1109/MWSCAS.2001.986153
Guangbin Zhang, S. Sterrantino, Jian Zhou, Jin Liu
{"title":"An accurate CMOS current source for low-voltage transmitter drivers","authors":"Guangbin Zhang, S. Sterrantino, Jian Zhou, Jin Liu","doi":"10.1109/MWSCAS.2001.986153","DOIUrl":"https://doi.org/10.1109/MWSCAS.2001.986153","url":null,"abstract":"Presented in this paper is the design of an accurate CMOS current source for low voltage current-mode transmitter drivers. It is composed of binary weighted current mirrors and built-in-self-test (BIST) structures for self-measurement and calibration. The current source can achieve /spl plusmn/0.5% accuracy, despite of transistor mismatch, power supply and temperature variations.","PeriodicalId":403026,"journal":{"name":"Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127935615","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}
引用次数: 3
A 622 MHz stand-alone LVDS driver pad in 0.18-/spl mu/m CMOS 一个622 MHz独立LVDS驱动板，0.18-/spl mu/m CMOS
Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257) Pub Date : 2001-08-14 DOI: 10.1109/MWSCAS.2001.986265
S. Jamasb, R. Jalilizeinali, P. Chau
{"title":"A 622 MHz stand-alone LVDS driver pad in 0.18-/spl mu/m CMOS","authors":"S. Jamasb, R. Jalilizeinali, P. Chau","doi":"10.1109/MWSCAS.2001.986265","DOIUrl":"https://doi.org/10.1109/MWSCAS.2001.986265","url":null,"abstract":"A 622 MHz LVDS driver is implemented in a standard 0.18-/spl mu/m digital CMOS technology as a stand-alone dual pad for an I/O library. The driver draws 23 mW of static power from a 1.8 V power supply, occupies an active area (excluding ESD protection circuitry) of 0.022 mm/sup 2/ and is fully compatible with the IEEE LVDS standard for reduced-range links.","PeriodicalId":403026,"journal":{"name":"Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125295920","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}
引用次数: 24
Software system integration methodology using formal specifications 使用正式规范的软件系统集成方法
Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257) Pub Date : 2001-08-14 DOI: 10.1109/MWSCAS.2001.986278
T. Hartrum, J. C. Nonnweiler
{"title":"Software system integration methodology using formal specifications","authors":"T. Hartrum, J. C. Nonnweiler","doi":"10.1109/MWSCAS.2001.986278","DOIUrl":"https://doi.org/10.1109/MWSCAS.2001.986278","url":null,"abstract":"This work proposes a methodology that can be used to integrate formal models representing software components. The integration ensures that the correctness of each input model is maintained while adding the desired functionality to the integrated model. Further, because of the inherent knowledge captured in the formal models, automated tool support can be developed to assist the application engineer in this process. This allows needed middleware for connecting the components to be synthesized from the formal specifications developed.","PeriodicalId":403026,"journal":{"name":"Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125315169","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
首页 上一页 下一页 尾页
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学术官方微信