首页 > 最新文献

2020 IEEE 29th Asian Test Symposium (ATS)最新文献

英文 中文
An effective technique preventing differential cryptanalysis attack 一种有效防止差分密码分析攻击的技术
Pub Date : 2020-11-23 DOI: 10.1109/ATS49688.2020.9301510
Ming Wang, Jian Xiao, Zhikuang Cai
In this paper, an adaptive scan chain structure based plaintext analysis technique is proposed. The technology is implemented by three circuits, including adaptive scan chain circuit, plaintext analysis circuit and controller circuit. The plaintext is analyzed whether meet the characteristics of the differential cryptanalysis in the plaintext analysis module. The adaptive scan chain contains MUX, XOR and traditional scan chain, which is easy to implement. If the last bit of two plaintexts differs by one, the adaptive scan chain is controlled to input them into different scan chain. Compared with complicated scan chain, the structure of adaptive scan chain is variable and can mislead attackers who use differential cryptanalysis attack. Through experimental analysis, it is proved that the security of the adaptive scan chain structure is greatly improved.
提出了一种基于自适应扫描链结构的明文分析技术。该技术由自适应扫描链电路、明文分析电路和控制器电路三部分电路实现。在明文分析模块中分析明文是否符合差分密码分析的特点。自适应扫描链包含MUX、XOR和传统扫描链,易于实现。如果两个明文的最后一位相差1,则控制自适应扫描链将其输入到不同的扫描链中。与复杂的扫描链相比,自适应扫描链结构多变,容易误导使用差分密码分析攻击的攻击者。通过实验分析,证明了自适应扫描链结构的安全性大大提高。
{"title":"An effective technique preventing differential cryptanalysis attack","authors":"Ming Wang, Jian Xiao, Zhikuang Cai","doi":"10.1109/ATS49688.2020.9301510","DOIUrl":"https://doi.org/10.1109/ATS49688.2020.9301510","url":null,"abstract":"In this paper, an adaptive scan chain structure based plaintext analysis technique is proposed. The technology is implemented by three circuits, including adaptive scan chain circuit, plaintext analysis circuit and controller circuit. The plaintext is analyzed whether meet the characteristics of the differential cryptanalysis in the plaintext analysis module. The adaptive scan chain contains MUX, XOR and traditional scan chain, which is easy to implement. If the last bit of two plaintexts differs by one, the adaptive scan chain is controlled to input them into different scan chain. Compared with complicated scan chain, the structure of adaptive scan chain is variable and can mislead attackers who use differential cryptanalysis attack. Through experimental analysis, it is proved that the security of the adaptive scan chain structure is greatly improved.","PeriodicalId":220508,"journal":{"name":"2020 IEEE 29th Asian Test Symposium (ATS)","volume":"30 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126077901","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 Sextuple Cross-Coupled SRAM Cell Protected against Double-Node Upsets 防止双节点干扰的六元交叉耦合SRAM单元
Pub Date : 2020-11-23 DOI: 10.1109/ATS49688.2020.9301569
Aibin Yan, Yan Chen, Jun Zhou, Jie Cui, Tianming Ni, X. Wen, P. Girard
In this paper, we propose a sextuple cross-coupled SRAM cell, namely SCCS18T, protected against double-node upsets. Since the proposed SCCS18T cell forms a large feedback loop for value retention and error interception, the cell can provide self-recoverability from any single-node upsets (SNUs) and partial double-node upsets (DNUs). Moreover, the proposed cell has optimized operation speed due to the use of six access transistors. Simulation results show that the SCCS18T cell can save approximately 65% read access time at the cost of 49% power dissipation and 50% silicon area on average, compared with typical hardened SRAM cells.
在本文中,我们提出了一个六元交叉耦合SRAM单元,即SCCS18T,防止双节点干扰。由于所提出的SCCS18T单元形成了一个用于值保留和错误拦截的大反馈回路,因此该单元可以从任何单节点异常(snu)和部分双节点异常(dnu)中提供自恢复能力。此外,由于使用了六个存取晶体管,所提出的单元具有优化的运算速度。仿真结果表明,与典型的硬化SRAM单元相比,SCCS18T单元平均可节省约65%的读访问时间,功耗为49%,硅面积为50%。
{"title":"A Sextuple Cross-Coupled SRAM Cell Protected against Double-Node Upsets","authors":"Aibin Yan, Yan Chen, Jun Zhou, Jie Cui, Tianming Ni, X. Wen, P. Girard","doi":"10.1109/ATS49688.2020.9301569","DOIUrl":"https://doi.org/10.1109/ATS49688.2020.9301569","url":null,"abstract":"In this paper, we propose a sextuple cross-coupled SRAM cell, namely SCCS18T, protected against double-node upsets. Since the proposed SCCS18T cell forms a large feedback loop for value retention and error interception, the cell can provide self-recoverability from any single-node upsets (SNUs) and partial double-node upsets (DNUs). Moreover, the proposed cell has optimized operation speed due to the use of six access transistors. Simulation results show that the SCCS18T cell can save approximately 65% read access time at the cost of 49% power dissipation and 50% silicon area on average, compared with typical hardened SRAM cells.","PeriodicalId":220508,"journal":{"name":"2020 IEEE 29th Asian Test Symposium (ATS)","volume":"229 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123301342","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
NodeRank: Observation-Point Insertion for Fault Localization in Monolithic 3D ICs∗ 节点秩:单片三维集成电路故障定位的观察点插入
Pub Date : 2020-11-23 DOI: 10.1109/ATS49688.2020.9301589
Arjun Chaudhuri, Sanmitra Banerjee, K. Chakrabarty
Monolithic 3D (M3D) ICs have emerged as a promising technology with significant improvement in power, performance, and area (PPA) over conventional 3D-stacked ICs. However, the sequential assembly of M3D tiers and immature fabrication process are prone to manufacturing defects and intertier process variations. Tier-level fault localization is therefore essential for yield ramp-up and diagnosis. Due to overhead concerns, only a limited number of observation points (OPs) can be inserted on the outgoing inter-layer vias (ILVs) of a tier to enable fault localization. We propose the computationally efficient NodeRank algorithm for observation-point insertion (OPI) on a small subset of outgoing ILVs. An ATPG-independent heuristic is presented, which is several orders-of-magnitude faster than ATPG fault simulation-based OPI. We introduce a metric called degree of fault localization to quantify the effectiveness of OPs. Evaluation results for two-tier M3D benchmark circuits show the effectiveness of the proposed method.
单片3D (M3D)集成电路已经成为一种有前途的技术,与传统的3D堆叠集成电路相比,它在功率、性能和面积(PPA)方面都有显着改善。然而,M3D层序组装和不成熟的制造工艺容易产生制造缺陷和层间工艺变化。因此,层级故障定位对于产量提升和诊断至关重要。出于开销的考虑,为了实现故障定位,只能在一层的出接口ilv上插入有限数量的观测点(op)。我们提出了一种计算效率很高的NodeRank算法,用于在一小部分出站ilv上进行观测点插入(OPI)。提出了一种与ATPG无关的启发式算法,该算法比基于ATPG故障仿真的OPI算法快几个数量级。我们引入了一个称为故障定位度的度量来量化OPs的有效性。对两层M3D基准电路的评估结果表明了该方法的有效性。
{"title":"NodeRank: Observation-Point Insertion for Fault Localization in Monolithic 3D ICs∗","authors":"Arjun Chaudhuri, Sanmitra Banerjee, K. Chakrabarty","doi":"10.1109/ATS49688.2020.9301589","DOIUrl":"https://doi.org/10.1109/ATS49688.2020.9301589","url":null,"abstract":"Monolithic 3D (M3D) ICs have emerged as a promising technology with significant improvement in power, performance, and area (PPA) over conventional 3D-stacked ICs. However, the sequential assembly of M3D tiers and immature fabrication process are prone to manufacturing defects and intertier process variations. Tier-level fault localization is therefore essential for yield ramp-up and diagnosis. Due to overhead concerns, only a limited number of observation points (OPs) can be inserted on the outgoing inter-layer vias (ILVs) of a tier to enable fault localization. We propose the computationally efficient NodeRank algorithm for observation-point insertion (OPI) on a small subset of outgoing ILVs. An ATPG-independent heuristic is presented, which is several orders-of-magnitude faster than ATPG fault simulation-based OPI. We introduce a metric called degree of fault localization to quantify the effectiveness of OPs. Evaluation results for two-tier M3D benchmark circuits show the effectiveness of the proposed method.","PeriodicalId":220508,"journal":{"name":"2020 IEEE 29th Asian Test Symposium (ATS)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125527770","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
EMI characterization for power conversion circuit with SiC power devices SiC功率器件功率转换电路的电磁干扰特性
Pub Date : 2020-11-23 DOI: 10.1109/ATS49688.2020.9301613
T. Ibuchi, T. Funaki
The fast switching characteristics of silicon carbide (SiC) power devices can be expected to realize low losses, light weight, and compact power converters. However, high dv/dt and di/dt during switching transients raise the concerns of electromagnetic interference (EMI) for high-power converters. This report focuses on the switching characteristics of SiC power devices, and discusses the relationship between their transient characteristics and EMI noise sources for power conversion circuit.
碳化硅(SiC)功率器件的快速开关特性可以实现低损耗、轻重量和紧凑的功率变换器。然而,开关瞬态的高dv/dt和di/dt引起了大功率变换器的电磁干扰(EMI)问题。本文重点研究了SiC功率器件的开关特性,并讨论了其瞬态特性与功率转换电路中EMI噪声源的关系。
{"title":"EMI characterization for power conversion circuit with SiC power devices","authors":"T. Ibuchi, T. Funaki","doi":"10.1109/ATS49688.2020.9301613","DOIUrl":"https://doi.org/10.1109/ATS49688.2020.9301613","url":null,"abstract":"The fast switching characteristics of silicon carbide (SiC) power devices can be expected to realize low losses, light weight, and compact power converters. However, high dv/dt and di/dt during switching transients raise the concerns of electromagnetic interference (EMI) for high-power converters. This report focuses on the switching characteristics of SiC power devices, and discusses the relationship between their transient characteristics and EMI noise sources for power conversion circuit.","PeriodicalId":220508,"journal":{"name":"2020 IEEE 29th Asian Test Symposium (ATS)","volume":"134 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120875710","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
HRAE: Hardware-assisted Randomization against Adversarial Example Attacks 针对对抗性示例攻击的硬件辅助随机化
Pub Date : 2020-11-23 DOI: 10.1109/ATS49688.2020.9301586
Jiliang Zhang, Shuang Peng, Yupeng Hu, Fei Peng, Wei Hu, Jinmei Lai, Jing Ye, Xiangqi Wang
With the rapid advancements of the artificial intelligence, machine learning, especially neural networks, have shown huge superiority over humans in image recognition, autonomous vehicles and medical diagnosis. However, its opacity and inexplicability provide many chances for malicious attackers. Recent researches have shown that neural networks are vulnerable to adversarial example (AE) attacks. In the testing stage, it fools the model by adding subtle perturbations to the original sample to misclassify the input, which poses a serious threat to safety-critical areas such as autonomous driving. In order to mitigate this threat, this paper proposes a hardware-assisted randomization method against AEs, where an approximate computing technique in hardware, voltage over-scaling (VOS), is used to randomize the training set of the model, then the processed data are used to generate multiple neural network models, finally multiple redundant models are used for the integrated classification and detection of the AEs. Various AE attacks on the proposed defense are evaluated to prove its effectiveness.
随着人工智能的快速发展,机器学习,特别是神经网络,在图像识别、自动驾驶汽车和医疗诊断方面显示出比人类巨大的优势。然而,它的不透明性和不可解释性为恶意攻击者提供了许多机会。最近的研究表明,神经网络容易受到对抗性示例(AE)攻击。在测试阶段,它通过在原始样本中添加细微的扰动来欺骗模型,从而对输入进行错误分类,这对自动驾驶等安全关键领域构成了严重威胁。为了缓解这一威胁,本文提出了一种硬件辅助随机化方法,该方法利用硬件中的近似计算技术电压过标度(VOS)对模型的训练集进行随机化,然后利用处理后的数据生成多个神经网络模型,最后利用多个冗余模型对AEs进行综合分类和检测。对提出的防御方法进行了各种声发射攻击评估,以证明其有效性。
{"title":"HRAE: Hardware-assisted Randomization against Adversarial Example Attacks","authors":"Jiliang Zhang, Shuang Peng, Yupeng Hu, Fei Peng, Wei Hu, Jinmei Lai, Jing Ye, Xiangqi Wang","doi":"10.1109/ATS49688.2020.9301586","DOIUrl":"https://doi.org/10.1109/ATS49688.2020.9301586","url":null,"abstract":"With the rapid advancements of the artificial intelligence, machine learning, especially neural networks, have shown huge superiority over humans in image recognition, autonomous vehicles and medical diagnosis. However, its opacity and inexplicability provide many chances for malicious attackers. Recent researches have shown that neural networks are vulnerable to adversarial example (AE) attacks. In the testing stage, it fools the model by adding subtle perturbations to the original sample to misclassify the input, which poses a serious threat to safety-critical areas such as autonomous driving. In order to mitigate this threat, this paper proposes a hardware-assisted randomization method against AEs, where an approximate computing technique in hardware, voltage over-scaling (VOS), is used to randomize the training set of the model, then the processed data are used to generate multiple neural network models, finally multiple redundant models are used for the integrated classification and detection of the AEs. Various AE attacks on the proposed defense are evaluated to prove its effectiveness.","PeriodicalId":220508,"journal":{"name":"2020 IEEE 29th Asian Test Symposium (ATS)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132157399","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
An ISA-level Accurate Fault Simulator for System-level Fault Analysis 面向系统级故障分析的isa级精确故障模拟器
Pub Date : 2020-11-23 DOI: 10.1109/ATS49688.2020.9301547
Jiang-Tang Xiao, Ting-Shuo Hsu, C. Fuchs, Yu-Teng Chang, J. Liou, Harry H. Chen
Shrinking feature sizes and cell capacitances, lower operation voltages, and higher operation speeds intensify the influences of radiation-induced soft-errors. To guarantee the functional safety of electronic systems, designers need effective techniques to evaluate designs under errors. Fault injection is one of the standard assessment tools for system dependability. However, because traditional RTL fault simulation has become too slow for modern complex systems, we need abstraction models for early-stage system reliability analysis and design. In this paper, we present an accurate reliability assessment SystemC fault simulator. It features a dynamic mechanism for injecting faults and analyzing the produced errors to evaluate possible fault detection and tolerance designs. Our experimental results show that our simulator can achieve 470x speedup on accurate architecture register fault simulation, validated with the RTL model.
缩小特征尺寸和电池容量、降低操作电压和提高操作速度会加剧辐射引起的软误差的影响。为了保证电子系统的功能安全,设计人员需要有效的技术来评估错误下的设计。故障注入是系统可靠性的标准评估工具之一。然而,由于传统的RTL故障仿真对于现代复杂系统来说速度太慢,需要抽象模型来进行早期系统可靠性分析和设计。在本文中,我们提出了一个精确的可靠性评估SystemC故障模拟器。它具有注入故障和分析产生误差的动态机制,以评估可能的故障检测和公差设计。实验结果表明,该仿真器在精确的体系结构配准故障仿真上可以达到470倍的加速,并通过RTL模型进行了验证。
{"title":"An ISA-level Accurate Fault Simulator for System-level Fault Analysis","authors":"Jiang-Tang Xiao, Ting-Shuo Hsu, C. Fuchs, Yu-Teng Chang, J. Liou, Harry H. Chen","doi":"10.1109/ATS49688.2020.9301547","DOIUrl":"https://doi.org/10.1109/ATS49688.2020.9301547","url":null,"abstract":"Shrinking feature sizes and cell capacitances, lower operation voltages, and higher operation speeds intensify the influences of radiation-induced soft-errors. To guarantee the functional safety of electronic systems, designers need effective techniques to evaluate designs under errors. Fault injection is one of the standard assessment tools for system dependability. However, because traditional RTL fault simulation has become too slow for modern complex systems, we need abstraction models for early-stage system reliability analysis and design. In this paper, we present an accurate reliability assessment SystemC fault simulator. It features a dynamic mechanism for injecting faults and analyzing the produced errors to evaluate possible fault detection and tolerance designs. Our experimental results show that our simulator can achieve 470x speedup on accurate architecture register fault simulation, validated with the RTL model.","PeriodicalId":220508,"journal":{"name":"2020 IEEE 29th Asian Test Symposium (ATS)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117173507","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
On Evaluation for Aging-Tolerant Ring Oscillators with Accelerated Life Test And Its Application to A Digital Sensor 用加速寿命试验评价耐老化环形振荡器及其在数字传感器上的应用
Pub Date : 2020-11-23 DOI: 10.1109/ATS49688.2020.9301588
Masayuki Gondo, Yousuke Miyake, Takaaki Kato, S. Kajihara
An aging-tolerant ring oscillator (RO) has been proposed for a digital temperature and voltage sensor. This paper discusses on the effectiveness of aging-tolerance of the ROs through accelerated life test for a test chip with 65nm CMOS technology. The progress of delay degradation of the ROs is examined, and influence of delay degradation on measurement accuracy of the sensor is investigated. Experimental results show that the aging-tolerant ROs can mitigate delay degradation, and that the measurement errors of the sensor can be reduced. Compared with a sensor consisting of an aging-intolerant RO, temperature and voltage errors are reduced 2.5°C and 32mV, respectively.
提出了一种用于数字式温度电压传感器的耐老化环形振荡器(RO)。本文通过65纳米CMOS技术测试芯片的加速寿命试验,探讨了活性氧耐老化的有效性。研究了传感器时延退化的进展,研究了时延退化对传感器测量精度的影响。实验结果表明,抗老化ROs可以减轻延迟退化,降低传感器的测量误差。与不耐老化RO组成的传感器相比,温度和电压误差分别降低2.5°C和32mV。
{"title":"On Evaluation for Aging-Tolerant Ring Oscillators with Accelerated Life Test And Its Application to A Digital Sensor","authors":"Masayuki Gondo, Yousuke Miyake, Takaaki Kato, S. Kajihara","doi":"10.1109/ATS49688.2020.9301588","DOIUrl":"https://doi.org/10.1109/ATS49688.2020.9301588","url":null,"abstract":"An aging-tolerant ring oscillator (RO) has been proposed for a digital temperature and voltage sensor. This paper discusses on the effectiveness of aging-tolerance of the ROs through accelerated life test for a test chip with 65nm CMOS technology. The progress of delay degradation of the ROs is examined, and influence of delay degradation on measurement accuracy of the sensor is investigated. Experimental results show that the aging-tolerant ROs can mitigate delay degradation, and that the measurement errors of the sensor can be reduced. Compared with a sensor consisting of an aging-intolerant RO, temperature and voltage errors are reduced 2.5°C and 32mV, respectively.","PeriodicalId":220508,"journal":{"name":"2020 IEEE 29th Asian Test Symposium (ATS)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132483675","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
LUT-based Circuit Approximation with Targeted Error Guarantees 具有目标误差保证的基于lut的电路逼近
Pub Date : 2020-11-23 DOI: 10.1109/ATS49688.2020.9301574
U. VinodG., S. VineeshV., Jaynarayan T. Tudu, M. Fujita, Virendra Singh
Approximate circuits are widely gaining popularity in various fields where error tolerance is applicable. However, striking the right balance between error tolerance and the output quality is a challenging step in the overall design of approximate systems. We propose a systematic approach utilizing Look-Up Table (LUT)-based netlist transformations to achieve approximation while targeting specific error guarantees. Specifically, we employ a SAT-based property checking technique to accommodate worst-case error constraints acting as error guarantees. The proposed methodology involves the formulation of templates to enable the reusability of the technique for different design choices. The analysis comprises of fitness function evaluation based on layout area or the considered error guarantees. We analyze the impact of different parameters on the quality of the output of the resulting approximation and the time taken to obtain them.
近似电路在各种需要容错的领域得到了广泛的应用。然而,在误差容忍度和输出质量之间取得适当的平衡是近似系统总体设计中一个具有挑战性的步骤。我们提出了一种系统的方法,利用基于查找表(LUT)的网表转换来实现近似,同时针对特定的错误保证。具体来说,我们采用了基于sat的属性检查技术,以适应作为错误保证的最坏情况错误约束。所提出的方法涉及到模板的制定,以实现该技术对不同设计选择的可重用性。分析包括基于布局面积的适应度函数评估或考虑误差保证。我们分析了不同参数对结果逼近输出质量的影响以及获得它们所花费的时间。
{"title":"LUT-based Circuit Approximation with Targeted Error Guarantees","authors":"U. VinodG., S. VineeshV., Jaynarayan T. Tudu, M. Fujita, Virendra Singh","doi":"10.1109/ATS49688.2020.9301574","DOIUrl":"https://doi.org/10.1109/ATS49688.2020.9301574","url":null,"abstract":"Approximate circuits are widely gaining popularity in various fields where error tolerance is applicable. However, striking the right balance between error tolerance and the output quality is a challenging step in the overall design of approximate systems. We propose a systematic approach utilizing Look-Up Table (LUT)-based netlist transformations to achieve approximation while targeting specific error guarantees. Specifically, we employ a SAT-based property checking technique to accommodate worst-case error constraints acting as error guarantees. The proposed methodology involves the formulation of templates to enable the reusability of the technique for different design choices. The analysis comprises of fitness function evaluation based on layout area or the considered error guarantees. We analyze the impact of different parameters on the quality of the output of the resulting approximation and the time taken to obtain them.","PeriodicalId":220508,"journal":{"name":"2020 IEEE 29th Asian Test Symposium (ATS)","volume":"175 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131148874","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 Unified Formal Model for Proving Security and Reliability Properties 安全性和可靠性特性证明的统一形式化模型
Pub Date : 2020-11-23 DOI: 10.1109/ATS49688.2020.9301533
Wei Hu, Lingjuan Wu, Yu Tai, Jing Tan, Jiliang Zhang
Taint-propagation and X-propagation analyses are important tools for enforcing circuit design properties such as security and reliability. Fundamental to these tools are effective models for accurately measuring the propagation of information and calculating metadata. In this work, we formalize a unified model for reasoning about taint- and X-propagation behaviors and verifying design properties related to these behaviors. Our model are developed from the perspective of information flow and can be described using standard hardware description language (HDL), which allows formal verification of both taint-propagation (i.e., security) and X-propagation (i.e., reliability) related properties using standard electronic design automation (EDA) verification tools. Experimental results show that our formal model can be used to prove both security and reliability properties in order to uncover unintended design flaw, timing channel and intentional malicious undocumented functionality in circuit designs.
污染传播和x传播分析是加强电路设计特性(如安全性和可靠性)的重要工具。这些工具的基础是用于精确测量信息传播和计算元数据的有效模型。在这项工作中,我们形式化了一个统一的模型,用于推理污染和x传播行为,并验证与这些行为相关的设计属性。我们的模型是从信息流的角度开发的,可以使用标准硬件描述语言(HDL)进行描述,该语言允许使用标准电子设计自动化(EDA)验证工具对污染传播(即安全性)和x传播(即可靠性)相关属性进行正式验证。实验结果表明,我们的形式化模型可以用来证明电路的安全性和可靠性,从而发现电路设计中的意外设计缺陷、时序通道和故意恶意未记录的功能。
{"title":"A Unified Formal Model for Proving Security and Reliability Properties","authors":"Wei Hu, Lingjuan Wu, Yu Tai, Jing Tan, Jiliang Zhang","doi":"10.1109/ATS49688.2020.9301533","DOIUrl":"https://doi.org/10.1109/ATS49688.2020.9301533","url":null,"abstract":"Taint-propagation and X-propagation analyses are important tools for enforcing circuit design properties such as security and reliability. Fundamental to these tools are effective models for accurately measuring the propagation of information and calculating metadata. In this work, we formalize a unified model for reasoning about taint- and X-propagation behaviors and verifying design properties related to these behaviors. Our model are developed from the perspective of information flow and can be described using standard hardware description language (HDL), which allows formal verification of both taint-propagation (i.e., security) and X-propagation (i.e., reliability) related properties using standard electronic design automation (EDA) verification tools. Experimental results show that our formal model can be used to prove both security and reliability properties in order to uncover unintended design flaw, timing channel and intentional malicious undocumented functionality in circuit designs.","PeriodicalId":220508,"journal":{"name":"2020 IEEE 29th Asian Test Symposium (ATS)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117158153","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
ATS 2021 Call for Papers ATS 2021征稿
Pub Date : 2020-11-23 DOI: 10.1109/ats49688.2020.9301519
{"title":"ATS 2021 Call for Papers","authors":"","doi":"10.1109/ats49688.2020.9301519","DOIUrl":"https://doi.org/10.1109/ats49688.2020.9301519","url":null,"abstract":"","PeriodicalId":220508,"journal":{"name":"2020 IEEE 29th Asian Test Symposium (ATS)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124519028","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
期刊
2020 IEEE 29th Asian Test Symposium (ATS)
全部 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