{"title":"SystemC-Based Loose Models for Simulation Speed-Up by Abstraction of RTL IP Cores","authors":"S. Abrar, M. Jenihhin, J. Raik","doi":"10.1109/DDECS.2015.39","DOIUrl":"https://doi.org/10.1109/DDECS.2015.39","url":null,"abstract":"The rapid increase of embedded systems design complexity has resulted in emergence of design methodologies at higher levels of abstraction such as Electronic System Level (ESL) and Transaction Level Modeling (TLM) with SystemC language as the main instrument. In practice, system architects and system integrators often have access to a library of legacy Register Transfer Level (RTL) IP (Intellectual Property) cores or obtain new ones from IP design houses. To address architectural exploration, early prototyping and simulation performance, such RTL IP cores are manually recreated at more abstract levels, which implies significant and error-prone effort. The current paper proposes an approach for automated abstraction of the computational part of cycle-accurate RTL IP cores to untimed TLM using a novel concept of SystemC-based Loose Models (SCLM). SCLMs provide for an instrument to neglect design model parts irrelevant for particular manipulation step of the abstraction process, thus simplifying the abstraction flow. As a result, the computational complexity of the abstraction process is reduced, thus increasing the overall scalability. The proposed abstraction flow is demonstrated on a set of benchmark designs and the first experimental results prove feasibility of the proposed approach and also show considerable simulation speed-up.","PeriodicalId":368685,"journal":{"name":"2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115308451","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}
F. Azaïs, S. David-Grignot, L. Latorre, F. Lefèvre
{"title":"Embedded Test Instrument for On-Chip Phase Noise Evaluation of Analog/IF Signals","authors":"F. Azaïs, S. David-Grignot, L. Latorre, F. Lefèvre","doi":"10.1109/DDECS.2015.11","DOIUrl":"https://doi.org/10.1109/DDECS.2015.11","url":null,"abstract":"This paper presents an embedded test instrument for on-chip phase noise evaluation of analog/IF signals. The technique relies on 1 -- bit signal acquisition and dedicated processing to compute a digital signature related to the phase noise level. An appropriate algorithm based on on-the-fly processing of the 1-bit signal is defined in order to implement the BIST module with minimal hardware resources. The module is validated through behavioral and structural simulations. Its implementation in CMOS 140nm technology occupies only 7,885μm2, which represents an extremely small silicon area.","PeriodicalId":368685,"journal":{"name":"2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems","volume":"56 46","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114006248","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}
{"title":"Power-Management Specification in SystemC","authors":"Dominik Macko, K. Jelemenská, P. Cicák","doi":"10.1109/DDECS.2015.16","DOIUrl":"https://doi.org/10.1109/DDECS.2015.16","url":null,"abstract":"Power consumption is the greatest concern in current highly-integrated hardware-system design. The power reduction is targeted mostly through power management, implementing such techniques as clock gating, power gating, or voltage and frequency scaling. Due to growing complexity, the start-point in the design has moved from the register-transfer level to the system level. However, the power management lacks the abstraction needed for the system level. Also, different power-management techniques are specified differently, complicating the specification even more. This paper targets the unified specification of power-management techniques early in the design flow. SystemC is used for describing the system functionality along with the power management. Efficiency of the proposed approach is illustrated by comparison of the unified power-management specification and the standardized approach.","PeriodicalId":368685,"journal":{"name":"2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115824636","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}
Rados Dabic, Sasa Jednak, Ilija Adzic, Dusko Stanic, Aleksandar Mijatovic, Stanislav Vuckovic
{"title":"Direct Test Methodology for HDL Verification","authors":"Rados Dabic, Sasa Jednak, Ilija Adzic, Dusko Stanic, Aleksandar Mijatovic, Stanislav Vuckovic","doi":"10.1109/DDECS.2015.47","DOIUrl":"https://doi.org/10.1109/DDECS.2015.47","url":null,"abstract":"This paper covers one approach to direct test verification methodology in modern HDL designs with emphasis on some aspects of its current implementation in EEE. Methodology describes modular flow for requirement driven verification, easy to integrate and reuse both in terms of test bench components and test vectors. As such, it represents natural evolution of classical HDL test benches and provides viable alternative to specialized verification procedures.","PeriodicalId":368685,"journal":{"name":"2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134349733","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}
T. Hollstein, Siavoosh Payandeh Azad, Thilo Kogge, Haoyuan Ying, K. Hofmann
{"title":"NoCDepend: A Flexible and Scalable Dependability Technique for 3D Networks-on-Chip","authors":"T. Hollstein, Siavoosh Payandeh Azad, Thilo Kogge, Haoyuan Ying, K. Hofmann","doi":"10.1109/DDECS.2015.30","DOIUrl":"https://doi.org/10.1109/DDECS.2015.30","url":null,"abstract":"In order to be able to handle an arbitrary amount of static communication segment faults in NoC-based MPSoCs, a flexible fault tolerance mechanism has to be applied. In this contribution, we present a flexible and scalable approach for fault-tolerance in NoCs, which - in contrast to existing circumvention techniques - can in principle handle any number of static faults in the routing network. It doesn't require routing restrictions (as static routing/source routing) and can basically be combined with any static or adaptive minimal or non-minimal routing algorithm. The needed additional hardware effort is low and the increase of the time for computation of routing decisions is reasonably low as well. The presented dependability technique can work hand-in-hand with a task scheduler/mapped and is applicable in critical, mixed-critical and non-critical application scenarios.","PeriodicalId":368685,"journal":{"name":"2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133051733","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}
{"title":"LFSR Reseeding Based Test Compression Respecting Different Controllability of Decompressor Outputs","authors":"O. Novák, Jiri Jenícek, M. Rozkovec","doi":"10.1109/DDECS.2015.28","DOIUrl":"https://doi.org/10.1109/DDECS.2015.28","url":null,"abstract":"The paper discusses possibilities of rearranging test decompress or internal structure and linking its outputs with the parallel scan chain inputs in order to obtain better compression efficiency while the hardware overhead is not increased. We have experimentally verified that the controllability of decompress or outputs can be used as a simple and easily computable measure of the decompress or efficiency. Based on this observation we have developed a procedure that chooses a sub optimal LFSR outputs and parallel scan chain inputs interconnection. The procedure proposes a permutation of the scan chain inputs so that the scan chains that are fed with patterns with higher number of care bits are linked with the highly controllable decompress or outputs. We have experimentally verified on the benchmark circuits that adopting the proposed strategy improves the compression efficiency.","PeriodicalId":368685,"journal":{"name":"2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems","volume":"176 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127850738","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}
{"title":"Activity Profiling and Power Estimation for Embedded Wireless Sensor Node Design","authors":"G. Panic, Z. Stamenkovic","doi":"10.1109/DDECS.2015.54","DOIUrl":"https://doi.org/10.1109/DDECS.2015.54","url":null,"abstract":"The lifetime of a wireless sensor node is determined by the energy required to complete specific tasks defined by network application. To estimate the energy of a sensor node for specific application, it is required to profile its activity for a given application scenario. The paper presents an analytical approach to wireless sensor node activity profiling, which enables a block-level extraction of activity profiles. The activity profiling is used for the energy estimation of an embedded sensor node micro controller. The results of activity profiling are applied to evaluate the proposed power saving strategies.","PeriodicalId":368685,"journal":{"name":"2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115483254","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}
{"title":"Parameterized Critical Path Selection for Delay Fault Testing","authors":"M. Siebert, E. Gramatová","doi":"10.1109/DDECS.2015.62","DOIUrl":"https://doi.org/10.1109/DDECS.2015.62","url":null,"abstract":"Delay faults testing is more and more important due to huge number of gates and lines integrated on a chip. Path delay faults are tested via selected critical paths in a tested digital circuit. The critical paths can be specified e.g. By static timing analysis (STA), statistical static timing analysis (SSTA) and others. Signal delay propagation is also affected by many factors such as power supply noise, multiple input switching, temperature and others during test. The impact of each factor to the path delay faults has been individually solved and published in some papers but their joint effects should be also investigated. A new technique for evaluation of critical paths and a general system for critical paths selection PaCGen have been developed and they are presented in the paper. It is based on STA and influences of multiple factors defined by the new technique for path criticality calculation. Some critical paths can be found as untestable based on structure of the circuit. The proposed system includes more effective DFT technique to change untestable critical paths to testable. Evaluation of the proposed technique has been done over ISCAS-89 benchmark circuits and compared with published results.","PeriodicalId":368685,"journal":{"name":"2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems","volume":"384 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115911053","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}
{"title":"Intermittent Resistive Faults in Digital CMOS Circuits","authors":"H. Kerkhoff, Hassan Ebrahimi","doi":"10.1109/DDECS.2015.12","DOIUrl":"https://doi.org/10.1109/DDECS.2015.12","url":null,"abstract":"A major threat in extremely dependable high-end process node integrated systems in e.g. Avionics are no failures found (NFF). One category of NFFs is the intermittent resistive fault, often originating from bad (e.g. Via or TSV-based) interconnections. This paper will show the impact of these faults on the behavior of a digital CMOS circuit via simulation. As the occurrence rate of this kind of defects can take e.g. One month, while the duration of the defect can be as short as 50 nanoseconds, to evoke and detect these faults is a huge scientific challenge. An on-chip data logging system with time stamp and stored environmental conditions, along with the detection, will drastically improve the task of maintenance of avionics and reduce the current high debugging costs.","PeriodicalId":368685,"journal":{"name":"2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems","volume":"296 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115928765","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}
T. Matsumura, Aoi Kurokawa, K. Imamura, Y. Matsuda
{"title":"A Design for the 178-MHz WXGA 30-fps Optical Flow Processor Based on the HOE Algorithm","authors":"T. Matsumura, Aoi Kurokawa, K. Imamura, Y. Matsuda","doi":"10.1109/DDECS.2015.36","DOIUrl":"https://doi.org/10.1109/DDECS.2015.36","url":null,"abstract":"We propose an optical flow processor, which allows real-time processing of WXGA 30-fps at 178.3 MHz. By introducing the SOR method and a pipeline operation for the Gauss-Seidel method to the iterative flow calculation, computational complexity can be reduced to 14.5% when compared to the previous HOE processor. We decreased the area of the embedded memory by using the image division method, applying line memory, and optimizing the computation word length. The core size of the designed processor is 16.82 mm2 in 90 nm process technology, which is approximately 5% of the previous HOE processor. The processor can operate completely in parallel, which ensures high-resolution scalability.","PeriodicalId":368685,"journal":{"name":"2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117349149","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}