Loading...
Search for:
testability
0.006 seconds
Total 24 records
Testability improvement during high-level synthesis
, Article 12th Asian Test Symposium, ATS 2003, 16 November 2003 through 19 November 2003 ; Volume 2003-January , 2003 , Pages 505- ; 10817735 (ISSN); 0769519512 (ISBN) ; Esmaeilzadeh, H ; Jahangir, A. H ; Sharif University of Technology
IEEE Computer Society
2003
Abstract
Improving testability during the early stages of High-Level Synthesis (HLS) reduces test hardware overheads, test costs, design iterations, and also improves fault coverage. In this paper, we present a novel register allocation algorithm which is based on weighted graph coloring, targeting testability improvement. © 2003 IEEE
Sober On Intelligent Design
, M.Sc. Thesis Sharif University of Technology ; Miandari, Hassan (Supervisor) ; Karbasizadeh, Amir Ehsan (Supervisor)
Abstract
Intelligent design theory is based on this idea that Darwinian theory of evolution can not explain Irreducibly complexities in organisms. Intelligent design theory in explaining these complexities conclude the existence of an intelligent designer. It is claimed that by remaining officially agnostic about the nature of the designer, intelligent design theory can be offered as a scientific claim, rather than a religious one, which could make it a viable alternative to Darwinism. In this thesis we study sober's point of view on intelligent design. Sober believes that, initially, we shoud present the strongest formulation of intelligent design theory and then evaluating whether this theory is a...
System Level Communication Testing Considering Functionality
, M.Sc. Thesis Sharif University of Technology ; Tabandeh, Mahmoud (Supervisor) ; Navabi, Zainalabedin (Co-Advisor)
Abstract
Due to the development of electronics, technology has entered new levels of integration on a single chip, called the System-on-Chip (SoC) design. Currently a SoC may contain various Intellectual Property (IP) cores with different interface protocols. For typical SoC communication, designers implement numerous standards such as Avalon from Altera and AMBA from ARM. These standards have different topologies with their own properties and are suitable for specific applications, But the challengeable problem is testing interconnects between cores. In testing process, important elements of a bus that should be tested are interconnections between cores (wires), multiplexers, arbiters, decoders, and...
A parameterized graph-based framework for high-level test synthesis
, Article Integration, the VLSI Journal ; Volume 39, Issue 4 , 2006 , Pages 363-381 ; 01679260 (ISSN) ; Jahangir, A. H ; Esmaeilzadeh, H ; Sharif University of Technology
2006
Abstract
Improving testability during the early stages of high-level synthesis has several benefits including reduced test hardware overheads, reduced test costs, reduced design iterations, and significant improved fault coverage. In this paper, we present a novel register allocation method, which is based on weighted graph coloring algorithm, targeting testability improvement for digital circuits. In our register allocation method, several high-level testability parameters including sequential depth, sequential loop, and controllability/observability are considered. Our experiments show using this register allocation method results in significant improvement in automatic test pattern generation time...
On Dinur’s Proof of the PCP Theorem
, M.Sc. Thesis Sharif University of Technology ; Daneshgar, Amir (Supervisor)
Abstract
The PCP theorem is the result of a line of work on interactive proofs and probabilistically checkable proofs. The first theorem relating standard proofs and probabilistically checkable proofs is NEXP?PCP[poly(n),poly(n)] . Subsequently, the method used in the proof of this statement were extended to yield a proof of the PCP theorem. However, this proof is relatively long and complicated. The PCP theorem is equivalent to hardness of approximation of some optimization problems. In 2006, Irit Dinur discovered a different proof of the PCP theorem. Dinur’s proof is a rather shorter and simpler than original proof. The main purpose of this survey is to present the main concepts and tools used in...
ScTMR: A scan chain-based error recovery technique for TMR systems in safety-critical applications
, Article Proceedings -Design, Automation and Test in Europe, DATE, 14 March 2011 through 18 March 2011 ; March , 2011 , Pages 289-292 ; 15301591 (ISSN) ; 9783981080179 (ISBN) ; Miremadi, S. G ; Asadi, H ; Sharif University of Technology
2011
Abstract
We propose a roll-forward error recovery technique based on multiple scan chains for TMR systems, called Scan chained TMR (ScTMR). ScTMR reuses the scan chain flip-flops employed for testability purposes to restore the correct state of a TMR system in the presence of transient or permanent errors. In the proposed ScTMR technique, we present a voter circuitry to locate the faulty module and a controller circuitry to restore the system to the fault-free state. As a case study, we have implemented the proposed ScTMR technique on an embedded processor, suited for safety-critical applications. Exhaustive fault injection experiments reveal that the proposed architecture has the error detection and...
Joint pilot power and pattern design for compressive OFDM channel estimation
, Article IEEE Communications Letters ; Volume 19, Issue 1 , November , 2015 , Pages 50-53 ; 10897798 (ISSN) ; Mashhadi, S ; Sharif University of Technology
Institute of Electrical and Electronics Engineers Inc
2015
Abstract
This letter investigates the deterministic design of pilot power and pattern for sparse channel estimation in OFDM systems based on minimizing the coherence of the DFT sub-matrix. It has been suggested that the pilot pattern forming a cyclic difference set (CDS) or almost difference set (ADS) is optimal. So, we proposed a deterministic procedure that jointly optimized for pattern and power of pilots as a solution. First, pilot patterns forming CDS/ADS were gathered through a search. Then, the power was numerically allocated to the different pilots from all the patterns. Finally, the pilot pattern and power pair leading to minimum coherence was selected from the available pairs. Simulation...
Improving hardware Trojan detection using scan chain based ring oscillators
, Article Microprocessors and Microsystems ; Volume 63 , 2018 , Pages 55-65 ; 01419331 (ISSN) ; Jahangir, A. H ; Sharif University of Technology
Elsevier B.V
2018
Abstract
In recent years, the security of integrated circuits (ICs) has received more attention as usage of ICs made by untrustworthy foundries has increased in safety-critical systems [1]. In this paper, we introduce a novel approach for fingerprinting the delay of functional paths in a sequential circuit that have millions of transistors, like processors. We present a method for inserting Ring Oscillators (ROs) into scan chain for measuring the delay of each functional path inside the chip. Using the proposed method, the payload part of Trojans will be detected according to their size and cell types. Our method can be used by power-based Trojan detection approaches for finding the trigger part of...
Computational study of spin caloritronics in a pristine and defective antimonene nanoribbon
, Article Physica E: Low-Dimensional Systems and Nanostructures ; Volume 120 , 2020 ; Faez, R ; Darvish, G ; Sharif University of Technology
Elsevier B.V
2020
Abstract
In this paper, by using first-principle density functional theory (DFT) combined with non-equilibrium Green's function (NEGF), thermally induced spin current in zigzag and armchair Antimonene Nanoribbon (SbNR) is investigated. Also, we obtain higher spin current in Armchair nanoribbon (ANR) than zigzag nanoribbon (ZNR), because the start energy of transmission for ANR is closer to the Fermi level than ZNR. The results show that the device has a perfect spin Seebeck effect under temperature difference without gate voltage or bias voltage. For the ANR configuration, the competition between spin up holes and spin down electrons leads to negative differential behavior of charge current, which is...
Towards developing efficient metalloporphyrin-based hybrid photocatalysts for CO2reduction; an: ab initio study
, Article Physical Chemistry Chemical Physics ; Volume 22, Issue 40 , 2020 , Pages 23128-23140 ; Papior, N ; Zahedi, M ; Moshfegh, A. Z ; Sharif University of Technology
Royal Society of Chemistry
2020
Abstract
A series of thiophene-based donor-acceptor-donor (D-A-D) oligomer substituted metalloporphyrins (MPors) with different 3d central metal-ions (M = Co, Ni, Cu, and Zn) were systematically investigated to screen efficient hybrid photocatalysts for CO2 reduction based on density functional theory (DFT) and time-dependent DFT simulations. Compared with base MPors, the newly designed hybrid photocatalysts have a lower bandgap energy, stronger and broader absorption spectra, and enhanced intermolecular charge transfer, exciton lifetime, and light-harvesting efficiency. Then, the introduction of D-A-D electron donor (ED) groups into the meso-positions of MPors is a promising method for the...
Theoretical study of the electron transport through the cysteine amino acid nanomolecular wire
, Article International Journal of Nanoscience ; Volume 7, Issue 2-3 , 2008 , Pages 95-102 ; 0219581X (ISSN) ; Aghaie, H ; Gholami, M. R ; Sharif University of Technology
World Scientific Publishing Co. Pte Ltd
2008
Abstract
In this paper, we study the electrical transport and Negative Differential Resistance (NDR) in a single molecular conductor consisting of a cysteine sandwiched between two Au(111) electrodes via the Density Functional Theory-based Nonequilibrium Green's Function (DFT-NEGF) method. We show that (surprisingly, despite their apparent simplicity, these Au/cysteine/Au nanowires are shown to be a convenient NDR device) the smallest two-terminal molecular wire can exhibit NDR behavior to date. Experiments with a conventional or novel self-assembled monolayer (SAM) are proposed to test these predictions. The projected density of states (PDOSs) and transmission coefficients T(E) under various...
Deep oxidative desulfurization via rGO-immobilized tin oxide nanocatalyst: Experimental and theoretical perspectives
, Article Advanced Powder Technology ; Volume 33, Issue 3 , 2022 ; 09218831 (ISSN) ; Kazemeini, M ; Hasannia, S ; Ekramipooya, A ; Sharif University of Technology
Elsevier B.V
2022
Abstract
In this contribution, reduced grapheme oxides (rGO) with immobilized tin oxide (SnO2) nanocatalysts were synthesized via the Incipient Wetness Impregnation (IWI) method. To characterize the SnO2/rGO composites, several analyses including the; XRD, Raman, FTIR, ICP-OES, BET-BJH, XPS, TEM, and TPD were utilized. Then the effects of parameters including reaction time, total metal loading, and the initial sulfur concentration of model fuel in the dibenzothiophene (DBT) oxidation desulfurization process were evaluated. After determining the optimal conditions for the aforementioned parameters, the influences of 3 effective factors of the molar ratio of oxidant/substrate (O/S), the molar ratio of...
Effective degradation of Reactive Red 195 via heterogeneous electro-Fenton treatment: theoretical study and optimization
, Article International Journal of Environmental Science and Technology ; 2018 ; 17351472 (ISSN) ; Setayesh, S. R ; Sharif University of Technology
Center for Environmental and Energy Research and Studies
2018
Abstract
Abstract: The magnetite (Fe3O4) nanoparticles were synthesized and supported on the reduced graphene oxide. The characterization of the catalyst was performed by FT-IR, VSM, SEM, XRD, and BET techniques. The obtained results indicated that the in situ synthesis of Fe3O4 using coprecipitation method caused the homogenous formation of magnetite nanoparticles on the surface of reduced graphene oxide (average particle size ~ 71.032 nm) with high stability and catalytic activity toward electro-Fenton removal of Reactive Red 195. The effect of various factors (current intensity, initial pollutant concentration, catalyst weight, and pH) was evaluated by response surface methodology using central...
The oxidative desulfurization process performed upon a model fuel utilizing modified molybdenum based nanocatalysts: Experimental and density functional theory investigations under optimally prepared and operated conditions
, Article Applied Surface Science ; Volume 527 , 2020 ; Kazemeini, M ; Rashidi, A ; Seif, A ; Sharif University of Technology
Elsevier B.V
2020
Abstract
CoMo/reduced graphene oxide (rGO) catalyst was synthesized for the oxidative desulfurization process (ODS) of dibenzothiophene (DBT) in n-decane. Parameters including total metal (Co and Mo) loading, Co/Mo and CA (citric Acid)/Mo molar ratios were investigated toward achieving optimum conditions. The catalysts were characterized by the XRD, ICP, FTIR, Raman Spectroscopy, BET-BJH, NH3-TPD, XPS, and TEM methods. The product sulfur content was measured by the ICP-OES while the product was evaluated using FTIR and 1H NMR analyses. All experimental stages were designed using Design-Expert software. High BET area, acidity, uniform particle size, and Co-promoter played key roles in this...
Synthesis and X-ray crystal structure of a Molybdenum(VI) Schiff base complex: Design of a new catalytic system for sustainable olefin epoxidation
, Article Inorganica Chimica Acta ; Volume 511 , October , 2020 ; Bagherzadeh, M ; Ataie, S ; Kia, R ; Heydar Moravej, S ; Zare, M ; Raithby, P. R ; Ferlin, F ; Vaccaro, L ; Sharif University of Technology
Elsevier S. A
2020
Abstract
A targeted new dioxo molybdenum(VI) ONO Schiff base complex was prepared for catalyzing epoxidation of olefins in water. This complex was characterized by FT-IR, NMR, UV–Vis, and X-ray crystallography techniques. DFT calculations are additionally performed to find ground and transition states for finding electronic structure and UV–Vis assignment. Afterward, a new protocol was defined for sustainable catalytic epoxidation of olefin in water using this complex as a green catalyst, and also remarkable results are obtained, such as turn over number up to 1400. © 2020 Elsevier B.V
An on-line BIST technique for delay fault detection in CMOS circuits
, Article 16th Asian Test Symposium, ATS 2007, Beijing, 8 October 2007 through 11 October 2007 ; November , 2007 , Pages 73-76 ; 10817735 (ISSN); 0769528902 (ISBN); 9780769528908 (ISBN) ; Hessabi, S ; Sharif University of Technology
2007
Abstract
This paper presents a simulation-based study of the delay fault testing in CMOS logic circuits. A novel built-in self-test (BIST) technique is presented for detecting delay faults in this logic family. This scheme does not need test-pattern generation, and thus can be used for robust on-line testing. Simulation results for area, delay, and power overheads are presented. © 2007 IEEE
Construction of an epoxy composite coating with exceptional thermo-mechanical properties using Zr-based NH2-UiO-66 metal-organic framework (MOF): Experimental and DFT-D theoretical explorations
, Article Chemical Engineering Journal ; Volume 408 , 2021 ; 13858947 (ISSN) ; Tati, A ; Bahlakeh, G ; Ramezanzadeh, B ; Sharif University of Technology
Elsevier B.V
2021
Abstract
In this study, for the first time, the influence of the nanoporous Zr-based NH2-UiO-66 metal-organic frameworks (MOFs) on the tensile strength and fracture toughness of the epoxy coating was investigated. In addition, the impacts of the UiO particles' functionality (i.e., NH2 or GMA) on the MOFs/epoxy interfacial bonding and nanoparticles dispersion quality in the epoxy resin were examined by the tensile test, dynamic mechanical thermal analysis (DMTA) and field emission-scanning electron microscope (FE-SEM). The NH2-UiO-66 and GMA-UiO-66 MOFs chemical structures were investigated by FT-IR, BET, and FE-SEM approaches. The FE-SEM investigation of the fracture morphology (at the cross-section...
Low loaded MoS2/Carbon cloth as a highly efficient electrocatalyst for hydrogen evolution reaction
, Article International Journal of Hydrogen Energy ; 2021 ; 03603199 (ISSN) ; Mehdipour, H ; Moshfegh, A. Z ; Sharif University of Technology
Elsevier Ltd
2021
Abstract
Active edge sites of MoS2 nanosheets exhibit promising futures for hydrogen evolution reaction (HER), comparable with remarkable performances of highly cost platinum. However, 3D structures of MoS2 suffer from a lack of high mobility and unexposed active sites which lower the electrocatalytic activity. In this study, we show that there is a balance between increasing the active sites on the one hand and managing the charge transfer to facilitate the reaction on the other hand, and achieving this balance increases the efficiency of the electrocatalyst tremendously. For this purpose, we directly attached exfoliated MoS2 nanosheets onto carbon cloth (CC) substrate as a 3D network of conductive...
Efficient simulation of resonance Raman spectra with tight-binding approximations to density functional theory
, Article Journal of Chemical Physics ; Volume 157, Issue 8 , Volume 157, Issue 8 , 2022 ; 00219606 (ISSN) ; Jamshidi, Z ; Visscher, L ; Sharif University of Technology
American Institute of Physics Inc
2022
Abstract
Resonance Raman spectroscopy has long been established as one of the most sensitive techniques for detection, structure characterization, and probing the excited-state dynamics of biochemical systems. However, the analysis of resonance Raman spectra is much facilitated when measurements are accompanied by Density Functional Theory (DFT) calculations that are expensive for large biomolecules. In this work, resonance Raman spectra are therefore computed with the Density Functional Tight-Binding (DFTB) method in the time-dependent excited-state gradient approximation. To test the accuracy of the tight-binding approximations, this method is first applied to typical resonance Raman benchmark...
Low loaded MoS2/Carbon cloth as a highly efficient electrocatalyst for hydrogen evolution reaction
, Article International Journal of Hydrogen Energy ; Volume 47, Issue 3 , 2022 , Pages 1579-1588 ; 03603199 (ISSN) ; Mehdipour, H ; Moshfegh, A. Z ; Sharif University of Technology
Elsevier Ltd
2022
Abstract
Active edge sites of MoS2 nanosheets exhibit promising futures for hydrogen evolution reaction (HER), comparable with remarkable performances of highly cost platinum. However, 3D structures of MoS2 suffer from a lack of high mobility and unexposed active sites which lower the electrocatalytic activity. In this study, we show that there is a balance between increasing the active sites on the one hand and managing the charge transfer to facilitate the reaction on the other hand, and achieving this balance increases the efficiency of the electrocatalyst tremendously. For this purpose, we directly attached exfoliated MoS2 nanosheets onto carbon cloth (CC) substrate as a 3D network of conductive...