for Journals by Title or ISSN
for Articles by Keywords
help
  Subjects -> ENGINEERING (Total: 2118 journals)
    - CHEMICAL ENGINEERING (179 journals)
    - CIVIL ENGINEERING (159 journals)
    - ELECTRICAL ENGINEERING (89 journals)
    - ENGINEERING (1163 journals)
    - ENGINEERING MECHANICS AND MATERIALS (341 journals)
    - HYDRAULIC ENGINEERING (54 journals)
    - INDUSTRIAL ENGINEERING (54 journals)
    - MECHANICAL ENGINEERING (79 journals)

ENGINEERING (1163 journals)            First | 2 3 4 5 6 7 8 9 | Last

International Journal of Hypersonics     Full-text available via subscription   (Followers: 3)
International Journal of Imaging Systems and Technology     Hybrid Journal   (Followers: 2)
International Journal of Impact Engineering     Hybrid Journal   (Followers: 7)
International Journal of Information Acquisition     Hybrid Journal   (Followers: 1)
International Journal of Innovation and Applied Studies     Open Access   (Followers: 2)
International Journal of Innovation Science     Full-text available via subscription   (Followers: 6)
International Journal of Innovative Technology and Research     Open Access  
International Journal of Integrated Engineering     Open Access   (Followers: 1)
International Journal of Intelligent Engineering Informatics     Hybrid Journal  
International Journal of Intelligent Systems and Applications in Engineering     Open Access  
International Journal of Lifecycle Performance Engineering     Hybrid Journal   (Followers: 1)
International Journal of Machine Tools and Manufacture     Hybrid Journal   (Followers: 5)
International Journal of Manufacturing Research     Hybrid Journal   (Followers: 5)
International Journal of Manufacturing Technology and Management     Hybrid Journal   (Followers: 7)
International Journal of Materials and Product Technology     Hybrid Journal   (Followers: 4)
International Journal of Mathematical Education in Science and Technology     Hybrid Journal   (Followers: 7)
International Journal of Mathematics in Operational Research     Hybrid Journal   (Followers: 1)
International Journal of Medical Engineering and Informatics     Hybrid Journal   (Followers: 5)
International Journal of Micro Air Vehicles     Full-text available via subscription   (Followers: 4)
International Journal of Microwave and Wireless Technologies     Hybrid Journal   (Followers: 1)
International Journal of Microwave Science and Technology     Open Access   (Followers: 2)
International Journal of Mobile Network Design and Innovation     Hybrid Journal   (Followers: 3)
International Journal of Multiphase Flow     Hybrid Journal   (Followers: 2)
International Journal of Nanomanufacturing     Hybrid Journal   (Followers: 1)
International Journal of Nanoscience     Hybrid Journal   (Followers: 1)
International Journal of Nanotechnology     Hybrid Journal   (Followers: 5)
International Journal of Nanotechnology and Molecular Computation     Full-text available via subscription   (Followers: 3)
International Journal of Navigation and Observation     Open Access   (Followers: 8)
International Journal of Network Management     Hybrid Journal  
International Journal of Nonlinear Sciences and Numerical Simulation     Full-text available via subscription  
International Journal of Numerical Methods for Heat & Fluid Flow     Hybrid Journal   (Followers: 7)
International Journal of Optics     Open Access   (Followers: 1)
International Journal of Organisational Design and Engineering     Hybrid Journal   (Followers: 10)
International Journal of Pattern Recognition and Artificial Intelligence     Hybrid Journal   (Followers: 6)
International Journal of Pavement Engineering     Hybrid Journal   (Followers: 2)
International Journal of Physical Modelling in Geotechnics     Hybrid Journal   (Followers: 3)
International Journal of Plasticity     Hybrid Journal   (Followers: 6)
International Journal of Plastics Technology     Hybrid Journal  
International Journal of Polymer Analysis and Characterization     Hybrid Journal   (Followers: 5)
International Journal of Polymer Science     Open Access   (Followers: 16)
International Journal of Precision Engineering and Manufacturing     Hybrid Journal   (Followers: 5)
International Journal of Precision Engineering and Manufacturing-Green Technology     Hybrid Journal  
International Journal of Precision Technology     Hybrid Journal  
International Journal of Pressure Vessels and Piping     Hybrid Journal   (Followers: 3)
International Journal of Production Economics     Hybrid Journal   (Followers: 13)
International Journal of Quality and Innovation     Hybrid Journal   (Followers: 4)
International Journal of Quality Assurance in Engineering and Technology Education     Full-text available via subscription   (Followers: 2)
International Journal of Quality Engineering and Technology     Hybrid Journal   (Followers: 2)
International Journal of Quantum Information     Hybrid Journal  
International Journal of Rapid Manufacturing     Hybrid Journal   (Followers: 1)
International Journal of Reliability, Quality and Safety Engineering     Hybrid Journal   (Followers: 7)
International Journal of Renewable Energy Technology     Hybrid Journal   (Followers: 8)
International Journal of Robust and Nonlinear Control     Hybrid Journal   (Followers: 3)
International Journal of Science Engineering and Advance Technology     Open Access  
International Journal of Sediment Research     Full-text available via subscription   (Followers: 1)
International Journal of Self-Propagating High-Temperature Synthesis     Hybrid Journal   (Followers: 2)
International Journal of Signal and Imaging Systems Engineering     Hybrid Journal  
International Journal of Six Sigma and Competitive Advantage     Hybrid Journal  
International Journal of Social Robotics     Hybrid Journal   (Followers: 2)
International Journal of Software Engineering and Knowledge Engineering     Hybrid Journal   (Followers: 1)
International Journal of Space Science and Engineering     Hybrid Journal   (Followers: 2)
International Journal of Speech Technology     Hybrid Journal   (Followers: 4)
International Journal of Spray and Combustion Dynamics     Full-text available via subscription   (Followers: 6)
International Journal of Superconductivity     Open Access  
International Journal of Surface Engineering and Interdisciplinary Materials Science     Full-text available via subscription   (Followers: 1)
International Journal of Surface Science and Engineering     Hybrid Journal   (Followers: 7)
International Journal of Sustainable Engineering     Hybrid Journal   (Followers: 7)
International Journal of Sustainable Manufacturing     Hybrid Journal   (Followers: 4)
International Journal of Systems and Service-Oriented Engineering     Full-text available via subscription  
International Journal of Systems Assurance Engineering and Management     Hybrid Journal  
International Journal of Systems, Control and Communications     Hybrid Journal   (Followers: 2)
International Journal of Technoethics     Full-text available via subscription   (Followers: 1)
International Journal of Technology Management and Sustainable Development     Hybrid Journal   (Followers: 1)
International Journal of Technology Policy and Law     Hybrid Journal   (Followers: 5)
International Journal of Telemedicine and Applications     Open Access   (Followers: 2)
International Journal of Thermal Sciences     Hybrid Journal   (Followers: 7)
International Journal of Thermodynamics     Open Access   (Followers: 2)
International Journal of Turbo & Jet-Engines     Full-text available via subscription  
International Journal of Ultra Wideband Communications and Systems     Hybrid Journal  
International Journal of Vehicle Autonomous Systems     Hybrid Journal   (Followers: 1)
International Journal of Vehicle Design     Hybrid Journal   (Followers: 6)
International Journal of Vehicle Information and Communication Systems     Hybrid Journal   (Followers: 2)
International Journal of Vehicle Noise and Vibration     Hybrid Journal   (Followers: 3)
International Journal of Vehicle Safety     Hybrid Journal   (Followers: 5)
International Journal of Vehicular Technology     Open Access   (Followers: 2)
International Journal of Virtual Technology and Multimedia     Hybrid Journal   (Followers: 4)
International Journal of Wavelets, Multiresolution and Information Processing     Hybrid Journal  
International Journal on Artificial Intelligence Tools     Hybrid Journal   (Followers: 4)
International Nano Letters     Open Access   (Followers: 9)
International Review of Applied Sciences and Engineering     Full-text available via subscription  
International Scholarly Research Notices     Open Access   (Followers: 221)
Inverse Problems in Science and Engineering     Hybrid Journal   (Followers: 2)
Ionics     Hybrid Journal  
IPTEK The Journal for Technology and Science     Open Access  
IRBM News     Full-text available via subscription  
Ironmaking & Steelmaking     Hybrid Journal   (Followers: 2)
Irrigation and Drainage Systems     Hybrid Journal  
ISA Transactions     Full-text available via subscription   (Followers: 1)
IT Professional     Full-text available via subscription   (Followers: 3)
Johnson Matthey Technology Review     Open Access   (Followers: 2)

  First | 2 3 4 5 6 7 8 9 | Last

Journal Cover   Journal of Electronic Testing
  [SJR: 0.241]   [H-I: 24]   [3 followers]  Follow
    
   Hybrid Journal Hybrid journal (It can contain Open Access articles)
   ISSN (Print) 1573-0727 - ISSN (Online) 0923-8174
   Published by Springer-Verlag Homepage  [2302 journals]
  • Formal Quantification of the Register Vulnerabilities to Soft Error in RTL
           Control Paths
    • Abstract: Radiation-induced soft error is a significant reliability issue in nanoscale technology nodes. As the sequential registers are major contributors to the system soft error rate, accurate analysis of their vulnerabilities at early design phases is essential for cost-efficient error mitigation. In this paper, a novel approach is proposed to quantify the soft error vulnerabilities of the registers in control paths at Register-Transfer Level (RTL). By modeling the control path as a state transition system, formal probabilistic model checking is adopted to compute the register vulnerabilities by taking the workload dependency into consideration. Efficient RTL abstraction and model simplification techniques are proposed to achieve an exponential reduction of the state space, enabling our methodology to analyze large control modules in a typical embedded processor. The experimental results show the effectiveness of the proposed techniques, which can successfully quantify the non-uniform register vulnerabilities in RTL designs.
      PubDate: 2015-04-11
       
  • Editorial
    • PubDate: 2015-04-08
       
  • Test Technology Newsletter
    • PubDate: 2015-04-08
       
  • Digital Calibration for 8-bit Delay Line ADC Using Harmonic Distortion
           Correction
    • Abstract: Delay line ADCs are becoming increasingly attractive with technology scaling to smaller dimensions with lower voltages. However, linearity, which has always been an issue, becomes a problem with longer delay lines. Resolutions of reported delay-line ADCs are hardly more than 4 bits with sampling rates of hundreds of MHz. In this paper, we first present a technique which extends harmonic distortion correction techniques to digital calibration of a delay-line ADC. In our simulation results, digital calibration improves SNDR and SFDR to 42.5 dB and 45.4 dB, respectively, compared with the original SNDR of 25.6 dB and the original SFDR of 25.7 dB. In order to reduce the convergence time of the calibration, we inject a periodic 3-bit gray code sequence instead of three pseudorandom numbers for harmonic distortion correction to digitally calibrate an 8-bit delay line ADC. In our simulation results, the SNDR is significantly improved from 25.6 dB to 42.5 dB, with a calibration time of 13.5 milliseconds, which is 64X faster than harmonic distortion correction with the pseudorandom numbers.
      PubDate: 2015-04-01
       
  • Analog Circuits Soft Fault Diagnosis Using Rényi’s Entropy
    • Abstract: An analog circuit soft fault diagnosis method using Rényi’s entropy is proposed. This method focuses on extracting the entropy information contained in the probability density function (PDF) of the output of the circuit under test (CUT), which is sensitive to the parameters of circuits. Firstly, using the Lagrange multiplier method with Rényi’s entropy deduces PDF. Then the parameter α of Rényi’s entropy is estimated adaptively by employing the output of CUT through the maximum likelihood estimation method. Finally, the value of Rényi’s entropy can be calculated using the PDF and α parameter. The divergence between the Rényi’s entropy corresponding to the fault and fault free circuits is adopted to detect the fault. The method can detect soft fautls, including the single fault and multiple faults, without complicated models and mass of data, and also without interrupting the inherent connections. We conduct experiments respectively on two circuits that are implemented on an actual circuit board. The effectiveness of the proposed method is demonstrated by the result of the experiment.
      PubDate: 2015-03-29
       
  • Scalable and Optimized Hybrid Verification of Embedded Software
    • Abstract: The verification of embedded software has become an important subject over the last years. However, neither standalone verification approaches, like simulation-based/formal verification, nor state-of-the-art semiformal verification approaches are able to verify large and complex embedded software with or without hardware dependencies. This work presents a scalable hybrid verification approach for the verification of embedded software using a semiformal algorithm optimized with static parameter assignment (SPA). These algorithms and methodologies like SPA and counterexample guided simulation are used to combine simulation-based and formal verification in a new way. SPA offers a method to interact between dynamic and static verification approaches based on an automated ranking determination of possible function parameters according to the impact on the model size. Furthermore, SPA inserts initialization code for specific function parameters into the source code under test and supports model building and optimization algorithms to reduce the state space. We have successfully applied this optimized hybrid verification methodology to embedded software applications: Motorola’s Powerstone Benchmark suite and a complex automotive industrial embedded software. The results show that our approach scales better than standalone software model checkers to reach deep state spaces.
      PubDate: 2015-03-27
       
  • A Determinate Radiation Hardened Technique for Safety-Critical CMOS
           Designs
    • Abstract: Soft errors have been a critical concern for reliability of advanced CMOS designs due to technology scaling. Moreover, along with the rapid growth of medical, automotive, and aerospace electronics, extremely high demand on reliability becomes the paramount concern, superior to cost and performance, on these safety-critical designs. Triple modular redundancy (TMR) is widely used to mask virtually all soft errors but typically incurs high power and area overheads. Therefore, in this paper, a determinate radiation hardened technique for safety-critical CMOS designs is proposed and consists of three hybrid strategies combining gate sizing, supply voltage (V D D ) scaling and threshold voltage (V t h ) scaling to prevent soft errors from occurring. A STA-like method that computes the required pulse width of a transient fault along the propagation path is also developed in this framework. Simulation results show that the proposed technique can effectively eliminate all soft errors on ISCAS’85 circuits and a controller area network bus electrical control unit (CAN-bus ECU) design for automotive electronics when the deposited charges range from 35 fC to 132 fC. Furthermore, the strategy using all three techniques, simultaneously improves power and area overheads by 3.3X and 2X, respectively, compared with TMR.
      PubDate: 2015-03-27
       
  • Reusing RTL Assertion Checkers for Verification of SystemC TLM Models
    • Abstract: The recent trend towards system-level design gives rise to new challenges for reusing existing (RTL) intellectual properties (IPs) and their verification environment in (TLM). While techniques and tools to abstract (RTL) IPs into TLM models have begun to appear, the problem of reusing, at TLM, a verification environment originally developed for an RTL IP is still under-explored, particularly when (ABV) is adopted. Some frameworks have been proposed to deal with ABV at TLM, but they assume a top-down design and verification flow, where assertions are defined ex-novo at TLM level. In contrast, the reuse of existing assertions in an RTL-to-TLM bottom-up design flow has not been analyzed yet, except by using transactors to create a mixed simulation between the TLM design and the RTL checkers corresponding to the assertions. However, the use of transactors may lead to longer verification time due to the need of developing and verifying the transactors themselves. Moreover, the simulation time is negatively affected by the presence of transactors, which slow down the simulation at the speed of the slowest parts (i.e., RTL checkers). This article proposes an alternative methodology that does not require transactors for reusing assertions, originally defined for a given RTL IP, in order to verify the corresponding TLM model. Experimental results have been conducted on benchmarks with different characteristics and complexity to show the applicability and the efficiency of the proposed methodology.
      PubDate: 2015-03-20
       
  • A Shift-Register Based BIST Architecture for FPGA Global Interconnect
           Testing and Diagnosis
    • Abstract: This paper describes the implementation of a shift-register based Built-In Self-Test (BIST) architecture for FPGA global interconnection resources testing. Through this, it is possible to configure FPGA resources that need to be tested in order to obtain high reliability FPGA-based systems. The proposed BIST approach takes advantage of FPGA low-level resources in order to generate cyclic test patterns, analyse testing response and store test results in a simple way. Additionally, the same BIST configuration set is capable of diagnosing the tested interconnection resources with no additional configurations thereby reducing time requirements. This paper presents the proposed BIST architecture and its diagnosis scheme, its implementation on a Xilinx FPGA, and experimental results.
      PubDate: 2015-03-13
       
  • Application-Based Analysis of Register File Criticality for Reliability
           Assessment in Embedded Microprocessors
    • Abstract: There is an increasing concern to reduce the cost and overheads during the development of reliable systems. Selective protection of most critical parts of the systems represents a viable solution to obtain a high level of reliability at a fraction of the cost. In particular to design a selective fault mitigation strategy for processor-based systems, it is mandatory to identify and prioritize the most vulnerable registers in the register file as best candidates to be protected (hardened). This paper presents an application-based metric to estimate the criticality of each register from the microprocessor register file in microprocessor-based systems. The proposed metric relies on the combination of three different criteria based on common features of executed applications. The applicability and accuracy of our proposal have been evaluated in a set of applications running in different microprocessors. Results show a significant improvement in accuracy compared to previous approaches and regardless of the underlying architecture.
      PubDate: 2015-02-20
       
  • Analog Circuit Fault Diagnosis via Sensitivity Computation
    • Abstract: In this paper, we present a new recursive method to compute higher order sensitivities of node voltages, as well as those of circuit performances (gain, input and output impedances, or reflection coefficients) with respect to all circuit parameters. Using the sensitivity coefficients we formulate multivariate polynomial equations. Fault identification is obtained by solving these equations with respect to element deviations. This task can be accomplished by using a multivariable Newton–Raphson procedure (mNR) for solving nonlinear multivariable equations.
      PubDate: 2015-02-19
       
  • A Power Efficient BIST TPG Method on Don’t Care Bit Based 2-D
           Adjusting and Hamming Distance Based 2-D Reordering
    • Abstract: A power efficient BIST TPG method is proposed to reduce test power dissipation during scan testing. Before the test patterns are injected into scan chain, the test set adopts a series of preprocessed strategies including don’t care bit based 2-D adjusting, Hamming Distance based 2-D reordering and test cube matrix based two transpose, all steps will be orderly executed in interspersed way. The six largest ISCAS’89 benchmark circuits verify the proposed method. Experimental results show that the switching activities are effectively reduced when the test set is loaded for on-chip scan testing. ASDFR with MT-filling scheme ensures high compression ratio, the scan-in test power dissipation is further decreased by don’t care bit based 2-D adjusting and Hamming Distance 2-D reordering. In addition, the BIST TPG method with less test application time and smaller algorithm complexity can be widely applied to actual chip design without adding extra decoder area overhead.
      PubDate: 2015-02-17
       
  • Editorial
    • PubDate: 2015-02-05
       
  • New Editors – 2015
    • PubDate: 2015-02-04
       
  • 2014 JETTA Reviewers
    • PubDate: 2015-02-01
       
  • Test Technology Newsletter
    • PubDate: 2015-01-30
       
  • Low Cost Sparse Multiband Signal Characterization Using Asynchronous
           Multi-Rate Sampling: Algorithms and Hardware
    • Abstract: Characterizing the spectrum of sparse wideband signals of high-speed devices efficiently and precisely is critical in high-speed test instrumentation design. Recently proposed sub-Nyquist rate sampling systems have the potential to significantly reduce the cost and complexity of sparse spectrum characterization; however, due to imperfections and variations in hardware design, numerous implementation and calibration issues have risen and need to be solved for robust and stable signal acquisition. In this paper, we propose a low-cost and low-complexity hardware architecture and associated asynchronous multi-rate sub-Nyquist rate sampling based algorithms for sparse spectrum characterization. The proposed scheme can be implemented with a single ADC or with multiple ADCs as in multi-channel or band-interleaved sensing architectures. Compared to other sub-Nyquist rate sampling methods, the proposed hardware scheme can achieve wideband sparse spectrum characterization with minimum cost and calibration effort. A hardware prototype built using off-the-shelf components is used to demonstrate the feasibility of the proposed approach.
      PubDate: 2015-01-30
       
  • Harzard-Based ATPG for Improving Delay Test Quality
    • Abstract: Fault coverage is a popular test criterion in delay testing. In order to improve test coverage, an efficient automatic test pattern generation (ATPG) method especially aimed at hazard-based detection condition (HDC), referred to as HDC test generation, is proposed. The proposed method effectively enhances the testability of the faults which are undetectable under conventional detection conditions (CDC) but may fail the circuit in some special function operations. The necessity and feasibility of the hazard-based detection condition is analyzed. Using the improved traditional stuck-at fault test generation tool, we have implemented an efficient HDC test generation for transition delay fault. Experimental results on ISCAS’89 benchmark circuits demonstrate that the proposed HDC test generation can improve the fault converage by an average of 3.64 % for conventional LOS test and an average of 4.6 % for conventional LOC test.
      PubDate: 2015-01-11
       
  • Compressive Sampling Coupled OFDM Technique for Testing Continuous Wave
           Radar
    • Abstract: Testing continuous wave (CW) radar circuitry is a challenging and time consuming process that requires characterizing system response over a wide range of frequencies. Step frequency continuous wave (SFCW) functional test is widely adopted for CW radar through a large number of frequency tones generation and characterization. For an ultra-wideband radar system, SFCW testing can be very time consuming. In this paper, we propose a new approach to increase test speed at low cost and low design overhead by combining OFDM (Orthogonal Frequency Division Multiplexing) in conjunction with compressive sampling (CS) algorithm. In the test, OFDM is applied for multi-tone signal generation while compressive sampling is for frequency tone reduction. To show equivalent test performance, SFCW test and OFDM-CS test are both performed to characterize a sample ground penetrating radar (GPR). Simulation results are presented for validations.
      PubDate: 2014-12-19
       
  • Pseudo Functional Path Delay Test through Embedded Memories
    • Abstract: Memory arrays cannot be as easily tested as other storage elements. They can be considered as non-scan cells. Memory built-in self-test (MBIST), functional test, and macro test are used to test memory arrays. However, these methods do not focus on the interaction between memory and surrounding logic, so may not cover timing critical paths. In this paper, we propose path delay test through memory arrays using pseudo functional test with K Longest Paths Per Gate (PKLPG). Long paths captured into a non-scan cell (including a memory cell) are propagated to a scan cell or primary output, and non-scan cells are initialized so that they can launch transitions onto long paths. This allows scan tests to cover critical paths into and out of memory arrays.
      PubDate: 2014-12-18
       
 
 
JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
Fax: +00 44 (0)131 4513327
 
About JournalTOCs
API
Help
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-2015