首页 > 最新文献

2008 1st Microsystems and Nanoelectronics Research Conference最新文献

英文 中文
A spatial computing architecture for implementing computational circuits 一种用于实现计算电路的空间计算体系结构
Pub Date : 2008-11-21 DOI: 10.1109/MNRC.2008.4683373
D. Grant, G. Lemieux
To accelerate many computational software algorithms, designers are implementing them as computational circuits. These algorithms are diverse and include molecular dynamics, weather simulation, video encoding, and financial modelling. Circuit designers repeatedly synthesize and simulate circuits for debugging and incremental design, but due to the size of computational circuits these steps are slow and waste designer productivity. In this paper we present an architecture and tool flow for rapidly compiling and simulating/executing computational circuits. We use a motion estimation circuit to demonstrate the performance vs. capacity scalability of our architecture, and show that the performance is comparable to an FPGA-based design.
为了加速许多计算软件算法,设计人员将它们实现为计算电路。这些算法多种多样,包括分子动力学、天气模拟、视频编码和金融建模。电路设计人员为了调试和增量设计而反复合成和模拟电路,但由于计算电路的大小,这些步骤很慢,并且浪费了设计师的生产力。本文提出了一种用于快速编译和模拟/执行计算电路的体系结构和工具流程。我们使用运动估计电路来演示我们架构的性能与容量可扩展性,并表明性能可与基于fpga的设计相媲美。
{"title":"A spatial computing architecture for implementing computational circuits","authors":"D. Grant, G. Lemieux","doi":"10.1109/MNRC.2008.4683373","DOIUrl":"https://doi.org/10.1109/MNRC.2008.4683373","url":null,"abstract":"To accelerate many computational software algorithms, designers are implementing them as computational circuits. These algorithms are diverse and include molecular dynamics, weather simulation, video encoding, and financial modelling. Circuit designers repeatedly synthesize and simulate circuits for debugging and incremental design, but due to the size of computational circuits these steps are slow and waste designer productivity. In this paper we present an architecture and tool flow for rapidly compiling and simulating/executing computational circuits. We use a motion estimation circuit to demonstrate the performance vs. capacity scalability of our architecture, and show that the performance is comparable to an FPGA-based design.","PeriodicalId":247684,"journal":{"name":"2008 1st Microsystems and Nanoelectronics Research Conference","volume":"2015 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116914490","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
A fall detection and near-fall data collection system 一个坠落检测和近坠落数据收集系统
Pub Date : 2008-11-21 DOI: 10.1109/MNRC.2008.4683392
A. Dinh, D. Teng, L. Chen, Y. Shi, C. McCrosky, J. Basran, V. Del Bello-Hass, S. Ko, A. Ralhan, D. Williams, N. Windels, A. Choudhury
The FANFARE project has developed a system to fulfill the need for a wearable device to collect data for fall analysis. The system consists of a computer and a wireless sensor network to measure, display and store fall related parameters such as postural activities and heart rate variability. Ease of use and low power were considered in the design. The system was built and successfully tested. Medical community now has the tool to collect and analyze fall related data for the purpose of detection and prevention of unintentional falls.
FANFARE项目开发了一个系统,以满足可穿戴设备收集秋季分析数据的需求。该系统由一台计算机和一个无线传感器网络组成,用于测量、显示和存储与跌倒相关的参数,如姿势活动和心率变异性。设计时考虑了易用性和低功耗。该系统已建成并测试成功。医学界现在有工具来收集和分析与跌倒有关的数据,以发现和预防意外跌倒。
{"title":"A fall detection and near-fall data collection system","authors":"A. Dinh, D. Teng, L. Chen, Y. Shi, C. McCrosky, J. Basran, V. Del Bello-Hass, S. Ko, A. Ralhan, D. Williams, N. Windels, A. Choudhury","doi":"10.1109/MNRC.2008.4683392","DOIUrl":"https://doi.org/10.1109/MNRC.2008.4683392","url":null,"abstract":"The FANFARE project has developed a system to fulfill the need for a wearable device to collect data for fall analysis. The system consists of a computer and a wireless sensor network to measure, display and store fall related parameters such as postural activities and heart rate variability. Ease of use and low power were considered in the design. The system was built and successfully tested. Medical community now has the tool to collect and analyze fall related data for the purpose of detection and prevention of unintentional falls.","PeriodicalId":247684,"journal":{"name":"2008 1st Microsystems and Nanoelectronics Research Conference","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117149291","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
Effect of parameter variations on the current-voltage behavior of AlGaAs tunnel junction models 参数变化对AlGaAs隧道结模型电流-电压行为的影响
Pub Date : 2008-11-21 DOI: 10.1109/MNRC.2008.4683404
V. Narasimhan, N. Yastrebova, C. Valdivia, T. Hall, K. Hinzer, D. Masson, S. Fafard, A. Jaouad, R. Arès, V. Aimez
To optimize the design of multi-junction photovoltaic devices, robust models of the tunnel junctions connecting sub-cells are essential. In this paper, we describe the effects of varying key parameters in a model of an AlGaAs tunnel junction. We noted two peaks in the current-voltage behavior of the AlGaAs tunnel junction under consideration. We found that the effective Richardson constant scaling factors in the model primarily affected the magnitude of the main peak. The p++ doping concentration impacted the height of both peaks, while the n++ doping concentration changed the magnitude of the main peak and shifted the secondary peak.
为了优化多结光伏器件的设计,必须建立连接子电池的隧道结的鲁棒模型。在本文中,我们描述了不同的关键参数在一个AlGaAs隧道结模型中的影响。我们注意到在考虑的AlGaAs隧道结的电流-电压行为中有两个峰值。研究发现,模型中的有效Richardson常数比例因子主要影响主峰的大小。p++掺杂浓度对两个峰的高度都有影响,而n++掺杂浓度改变了主峰的大小,使次峰移位。
{"title":"Effect of parameter variations on the current-voltage behavior of AlGaAs tunnel junction models","authors":"V. Narasimhan, N. Yastrebova, C. Valdivia, T. Hall, K. Hinzer, D. Masson, S. Fafard, A. Jaouad, R. Arès, V. Aimez","doi":"10.1109/MNRC.2008.4683404","DOIUrl":"https://doi.org/10.1109/MNRC.2008.4683404","url":null,"abstract":"To optimize the design of multi-junction photovoltaic devices, robust models of the tunnel junctions connecting sub-cells are essential. In this paper, we describe the effects of varying key parameters in a model of an AlGaAs tunnel junction. We noted two peaks in the current-voltage behavior of the AlGaAs tunnel junction under consideration. We found that the effective Richardson constant scaling factors in the model primarily affected the magnitude of the main peak. The p++ doping concentration impacted the height of both peaks, while the n++ doping concentration changed the magnitude of the main peak and shifted the secondary peak.","PeriodicalId":247684,"journal":{"name":"2008 1st Microsystems and Nanoelectronics Research Conference","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114368315","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}
引用次数: 10
An improved simulation method for high-speed data transmission through electrical backplane 一种改进的电背板高速数据传输仿真方法
Pub Date : 2008-11-21 DOI: 10.1109/MNRC.2008.4683388
Dianyong Chen, Bo Wang, B. Liang, Dezhong Cheng, T. Kwasniewski
Wireline transceivers for high-speed data transmission through backplane and ethernet cables are important applications for microelectronic and nanoelectronic CMOS technologies. Although many circuit simulators provide correct system-level and transistor-level simulations, they usually fail to give correct results for many highly lossy or/and highly dispersive channels. This paper discusses the advanced simulator that we developed. It can give correct simulation results for those channels. It can also process those channel model files to allow commercial circuit simulators to give correct results. This simulator when used together with commercial simulators gives correct system-level and transistor-level simulation results.
通过背板和以太网电缆进行高速数据传输的有线收发器是微电子和纳米电子CMOS技术的重要应用。虽然许多电路模拟器提供正确的系统级和晶体管级模拟,但它们通常不能给出许多高损耗或/和高色散通道的正确结果。本文讨论了我们开发的高级仿真器。对这些信道进行了正确的仿真。它还可以处理这些通道模型文件,以允许商业电路模拟器给出正确的结果。该仿真器与商用仿真器结合使用,可得到正确的系统级和晶体管级仿真结果。
{"title":"An improved simulation method for high-speed data transmission through electrical backplane","authors":"Dianyong Chen, Bo Wang, B. Liang, Dezhong Cheng, T. Kwasniewski","doi":"10.1109/MNRC.2008.4683388","DOIUrl":"https://doi.org/10.1109/MNRC.2008.4683388","url":null,"abstract":"Wireline transceivers for high-speed data transmission through backplane and ethernet cables are important applications for microelectronic and nanoelectronic CMOS technologies. Although many circuit simulators provide correct system-level and transistor-level simulations, they usually fail to give correct results for many highly lossy or/and highly dispersive channels. This paper discusses the advanced simulator that we developed. It can give correct simulation results for those channels. It can also process those channel model files to allow commercial circuit simulators to give correct results. This simulator when used together with commercial simulators gives correct system-level and transistor-level simulation results.","PeriodicalId":247684,"journal":{"name":"2008 1st Microsystems and Nanoelectronics Research Conference","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114563179","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
Two enhanced decision feedback equalizers for 10Gb/s optical communications 两个用于10Gb/s光通信的增强决策反馈均衡器
Pub Date : 2008-11-21 DOI: 10.1109/MNRC.2008.4683394
M. Hagman, T. Kwasniewski
In this work, two unique decision feedback equalizers (DFE) for use in 10 Gb/s optical communications are presented. These equalizers are effective at cancelling post-cursor ISI as well as pre-cursor ISI without the use of a feed-forward equalizer (FFE). The removal of the FFE equalizer is desirable as it is very expensive from a chip real-estate perspective. The synthetic transmission lines used to achieve the analog delay in FFE filters also suffer from performance issues such as limited bandwidth, impedance mismatches, and nonlinearities which degrade the efficacy of the filter. The proposed filter structures will be evaluated via numerical simulation, and a comparison with standard FFE/DFE techniques will be made.
在这项工作中,提出了两种独特的用于10gb /s光通信的决策反馈均衡器(DFE)。这些均衡器在不使用前馈均衡器(FFE)的情况下有效地消除光标后ISI和光标前ISI。去除FFE均衡器是可取的,因为从芯片房地产的角度来看,它非常昂贵。用于在FFE滤波器中实现模拟延迟的合成传输线也存在性能问题,如带宽有限、阻抗不匹配和非线性,这些问题会降低滤波器的效率。提出的滤波器结构将通过数值模拟进行评估,并与标准的FFE/DFE技术进行比较。
{"title":"Two enhanced decision feedback equalizers for 10Gb/s optical communications","authors":"M. Hagman, T. Kwasniewski","doi":"10.1109/MNRC.2008.4683394","DOIUrl":"https://doi.org/10.1109/MNRC.2008.4683394","url":null,"abstract":"In this work, two unique decision feedback equalizers (DFE) for use in 10 Gb/s optical communications are presented. These equalizers are effective at cancelling post-cursor ISI as well as pre-cursor ISI without the use of a feed-forward equalizer (FFE). The removal of the FFE equalizer is desirable as it is very expensive from a chip real-estate perspective. The synthetic transmission lines used to achieve the analog delay in FFE filters also suffer from performance issues such as limited bandwidth, impedance mismatches, and nonlinearities which degrade the efficacy of the filter. The proposed filter structures will be evaluated via numerical simulation, and a comparison with standard FFE/DFE techniques will be made.","PeriodicalId":247684,"journal":{"name":"2008 1st Microsystems and Nanoelectronics Research Conference","volume":"191 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116435122","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
Design and analysis of very low voltage charge pumps for RFID tags RFID标签极低压电荷泵的设计与分析
Pub Date : 2008-11-21 DOI: 10.1109/MNRC.2008.4683365
S. Amini, C. Plett
The design and analysis of very low-voltage driven charge pumps powered by RF telemetry is proposed. The use of thick oxide zero threshold voltage transistors along with appropriately sized boosting capacitors and matching techniques allows for charge pumps capable of achieving high voltage DC outputs with very low input voltages. Two test chips have been fabricated, an 11 stage pump and a 12 stage pump in 1.2 V 0.13-mum standard CMOS process. The pumps are capable of generating an output voltage above 1.2 volts with input voltages below 100 mV making them ideal for generating DC supplies from low RF scavenged sources.
提出了一种基于射频遥测技术的极低压驱动电荷泵的设计与分析。使用厚氧化物零阈值电压晶体管以及适当尺寸的升压电容器和匹配技术,可以使电荷泵能够以非常低的输入电压实现高压直流输出。两个测试芯片,一个11级泵和一个12级泵在1.2 V 0.13妈标准CMOS工艺。该泵能够产生1.2伏以上的输出电压,输入电压低于100毫伏,使其成为从低射频清除源产生直流电源的理想选择。
{"title":"Design and analysis of very low voltage charge pumps for RFID tags","authors":"S. Amini, C. Plett","doi":"10.1109/MNRC.2008.4683365","DOIUrl":"https://doi.org/10.1109/MNRC.2008.4683365","url":null,"abstract":"The design and analysis of very low-voltage driven charge pumps powered by RF telemetry is proposed. The use of thick oxide zero threshold voltage transistors along with appropriately sized boosting capacitors and matching techniques allows for charge pumps capable of achieving high voltage DC outputs with very low input voltages. Two test chips have been fabricated, an 11 stage pump and a 12 stage pump in 1.2 V 0.13-mum standard CMOS process. The pumps are capable of generating an output voltage above 1.2 volts with input voltages below 100 mV making them ideal for generating DC supplies from low RF scavenged sources.","PeriodicalId":247684,"journal":{"name":"2008 1st Microsystems and Nanoelectronics Research Conference","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129919277","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
Oscillation-Based Test in OTA-C filters: A case study OTA-C滤波器中基于振荡的测试:一个案例研究
Pub Date : 2008-11-21 DOI: 10.1109/MNRC.2008.4683368
P. Petrashin, G. Peretti, E. Romero
In this work, we explore the ability of oscillation-based test (OBT) for testing OTA-C filters. Adopting a second-order band pass filter as a case study, we present a scheme that uses a non linear characteristic in the feedback loop. The effectiveness of the strategy is qualified by means of fault simulation.
在这项工作中,我们探索了基于振荡的测试(OBT)用于测试OTA-C滤波器的能力。以二阶带通滤波器为例,提出了一种利用反馈环路非线性特性的方案。通过故障仿真验证了该策略的有效性。
{"title":"Oscillation-Based Test in OTA-C filters: A case study","authors":"P. Petrashin, G. Peretti, E. Romero","doi":"10.1109/MNRC.2008.4683368","DOIUrl":"https://doi.org/10.1109/MNRC.2008.4683368","url":null,"abstract":"In this work, we explore the ability of oscillation-based test (OBT) for testing OTA-C filters. Adopting a second-order band pass filter as a case study, we present a scheme that uses a non linear characteristic in the feedback loop. The effectiveness of the strategy is qualified by means of fault simulation.","PeriodicalId":247684,"journal":{"name":"2008 1st Microsystems and Nanoelectronics Research Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131045185","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
Low power modular integer exponentiation using discrete logarithm transformation 用离散对数变换求低功率模整数幂
Pub Date : 2008-11-21 DOI: 10.1109/MNRC.2008.4683391
M. Byers, J. Di
Exponentiation is an important mathematical operation in many areas, and is constantly being researched for more efficient methods. This paper presents a power efficient implementation of integer modular exponentiation using discrete logarithm transformation. By transforming the base of an exponent, this method is able to perform modular exponentiation without the use of multipliers. Originally developed and implemented for high speed applications, this method has been modified and implemented for low power while maintaining comparable performance. The design is created and simulated with a repeative-square design for comparison purpose. The two circuits are compared in terms of speed and power consumption. Results show that for bus sizes greater than 32 bit, the proposed design is able to use only approximately 40% of the power that the repeative-square counterpart consumes.
幂运算在许多领域都是一个重要的数学运算,人们一直在研究更有效的方法。本文提出了一种利用离散对数变换实现整数模幂的高效方法。通过变换指数的底数,该方法能够在不使用乘数器的情况下执行模幂运算。这种方法最初是为高速应用开发和实现的,经过修改和实现后,可以在保持相当性能的同时降低功耗。该设计是创建和模拟与重复平方设计的比较目的。这两种电路在速度和功耗方面进行了比较。结果表明,对于大于32位的总线尺寸,所提出的设计能够使用的功率仅为重复平方对应的功耗的大约40%。
{"title":"Low power modular integer exponentiation using discrete logarithm transformation","authors":"M. Byers, J. Di","doi":"10.1109/MNRC.2008.4683391","DOIUrl":"https://doi.org/10.1109/MNRC.2008.4683391","url":null,"abstract":"Exponentiation is an important mathematical operation in many areas, and is constantly being researched for more efficient methods. This paper presents a power efficient implementation of integer modular exponentiation using discrete logarithm transformation. By transforming the base of an exponent, this method is able to perform modular exponentiation without the use of multipliers. Originally developed and implemented for high speed applications, this method has been modified and implemented for low power while maintaining comparable performance. The design is created and simulated with a repeative-square design for comparison purpose. The two circuits are compared in terms of speed and power consumption. Results show that for bus sizes greater than 32 bit, the proposed design is able to use only approximately 40% of the power that the repeative-square counterpart consumes.","PeriodicalId":247684,"journal":{"name":"2008 1st Microsystems and Nanoelectronics Research Conference","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132913903","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
Transient analysis of plane wave reflection from a Debye half space 德拜半空间平面波反射的瞬态分析
Pub Date : 2008-11-21 DOI: 10.1109/MNRC.2008.4683417
Q. Zeng, G. Delisle
In this paper, an efficient time domain technique is developed to solve the impulse response of a Debye half space without performing tedious and complicated mathematical manipulations. Both horizontally and vertically polarized plane waves that are obliquely incident onto the interface between free space and a Debye medium are discussed. This technique is based on numerical inversion of Laplace transform, leads to good accuracy, and has a simple algorithm, short calculation time, small required memory size, readily controlled error and wide application range. The achieved results are meaningful and useful in microelectronics, phonics, material science and biomedical engineering, and agree very well with those published in the literature, validating the correctness and effectiveness of our technique.
本文提出了一种求解德拜半空间脉冲响应的有效时域方法,而无需进行繁琐复杂的数学运算。讨论了斜入射到自由空间和德拜介质界面上的水平偏振平面波和垂直偏振平面波。该技术基于拉普拉斯变换的数值反演,精度好,算法简单,计算时间短,所需内存小,误差易于控制,适用范围广。所得结果在微电子学、自然拼读学、材料科学和生物医学工程等领域具有重要意义和应用价值,与已有的文献结果一致,验证了该技术的正确性和有效性。
{"title":"Transient analysis of plane wave reflection from a Debye half space","authors":"Q. Zeng, G. Delisle","doi":"10.1109/MNRC.2008.4683417","DOIUrl":"https://doi.org/10.1109/MNRC.2008.4683417","url":null,"abstract":"In this paper, an efficient time domain technique is developed to solve the impulse response of a Debye half space without performing tedious and complicated mathematical manipulations. Both horizontally and vertically polarized plane waves that are obliquely incident onto the interface between free space and a Debye medium are discussed. This technique is based on numerical inversion of Laplace transform, leads to good accuracy, and has a simple algorithm, short calculation time, small required memory size, readily controlled error and wide application range. The achieved results are meaningful and useful in microelectronics, phonics, material science and biomedical engineering, and agree very well with those published in the literature, validating the correctness and effectiveness of our technique.","PeriodicalId":247684,"journal":{"name":"2008 1st Microsystems and Nanoelectronics Research Conference","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121688038","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
Assertion checkers - enablers of quality design 断言检查器——质量设计的推动者
Pub Date : 2008-11-21 DOI: 10.1109/MNRC.2008.4683387
M. Boule, Z. Zilic
This paper outlines the MBAC tool for the generation of assertion checkers in hardware. We begin with a high-level presentation of the automated compilation of assertions into checkers, and proceed to overview the multitude of applications of resource-efficient circuit-level checkers in the field of logic design and verification. A summary of experimental results is also given to show the current state of the MBAC tool, compared to the best known checker generator from IBM.
本文概述了在硬件中生成断言检查器的MBAC工具。我们首先对断言自动编译为检查器进行高级介绍,然后继续概述资源高效电路级检查器在逻辑设计和验证领域的大量应用。还给出了实验结果的总结,以显示MBAC工具的当前状态,并与IBM最著名的检查器生成器进行了比较。
{"title":"Assertion checkers - enablers of quality design","authors":"M. Boule, Z. Zilic","doi":"10.1109/MNRC.2008.4683387","DOIUrl":"https://doi.org/10.1109/MNRC.2008.4683387","url":null,"abstract":"This paper outlines the MBAC tool for the generation of assertion checkers in hardware. We begin with a high-level presentation of the automated compilation of assertions into checkers, and proceed to overview the multitude of applications of resource-efficient circuit-level checkers in the field of logic design and verification. A summary of experimental results is also given to show the current state of the MBAC tool, compared to the best known checker generator from IBM.","PeriodicalId":247684,"journal":{"name":"2008 1st Microsystems and Nanoelectronics Research Conference","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121862707","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
期刊
2008 1st Microsystems and Nanoelectronics Research Conference
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1