Sharif Digital Repository

This paper presents a method for functional verification of HDL models of digital circuits. The method is based on a co-operation between a simulator and an emulator and utilizes the advantages of both simulation-based and emulation-based verification to form a fast co-verification approach. This is done by verifying the intensive time-consuming part of the circuit in the emulator and the non-synthesizable part as well as the part of the circuit that needs intensive redesign process during the early steps of the design phase in the simulator. To demonstrate the co-verification approach, a tool was developed, which supports Verilog, VHDL, and mixed Verilog-VHDL models. Three benchmarks... 

Bi-objective optimization of a multi-product multi-period three-echelon supply chain network consisting of manufacturing plants, distribution centers (DCs) each with uncertain services, and customer nodes is aimed in this paper. The two objectives are minimization of the total cost while maximizing the average number of products dispatched to customers. The decision variables are: (1) the number and the locations of reliable DCs in the network, (2) the optimum number of items produced by plants, (3) the optimum quantity of transported products, (4) the optimum inventory of products at DCs and plants, and (5) the optimum shortage quantity of the customer nodes. The problem is first formulated... 

Niosomes are vesicles formed mostly by nonionic surfactant and cholesterol incorporation as an excipient. The drug entrapment efficiency of niosomal vesicles is particularly important and depends on many parameters. Changing the effective parameters to have maximum entrapment efficiency in the laboratory is time-consuming and costly. In this study, a machine learning framework was proposed to address these problems. In order to find the most critical parameter affecting the entrapment efficiency and its optimal value in a specific experiment, data were first extracted from articles of the last decade using keywords of niosome and thin-film hydration method. Then, deep neural network (DNN),... 

Let G be a graph with v vertices. If there exists a collection of list of colors S1, S1,..., Sv on its vertices, each of size k, such that there exists a unique proper coloring for G from this list of colors, then G is called a uniquely k-list colorable graph. In this note we present a uniquely 3-list colorable, planar and K4-free Graph. It is a counterexample for a conjecture by Ch. Eslahchi, M. Ghebleh and H. Hajiabolhassan [3]  

Background: in this study, two proton beam delivery designs, i.e. passive scattering proton therapy (PSPT) and pencil beam scanning (PBS), were quantitatively compared in terms of dosimetric indices. The GATE Monte Carlo (MC) particle transport code was used to simulate the proton beam system; and the developed simulation engines were benchmarked with respect to the experimental measurements. Method: A water phantom was used to simulate system energy parameters using a set of depth-dose data in the energy range of 120-235 MeV. To compare the performance of PSPT against PBS, multiple dosimetric parameters including Bragg peak width (BP W50), peak position, range, peak-To-entrance dose ratio,... 

A new equation of state based on the Statistical Associating Fluid Theory (SAFT) is presented to study the phase behavior of associating and non-associating fluids. In the new equation of state, the hard sphere contribution to compressibility factor of the simplified version of the SAFT (SSAFT) is replaced with that proposed by Ghotbi and Vera. The Ghotbi-Vera SSAFT (GV-SSAFT) was also extended to study the phase behavior of associating and non-associating mixtures. The GV-SSAFT like the SSAFT equation of state has three adjustable segment parameters for non-associating fluids and five parameters for associating fluids. The experimental data of liquid densities and vapor pressures for pure... 

Hardware trojan horses (HTH) have recently emerged as a major security threat for field-programmable gate arrays (FPGAs). Previous studies to protect FPGAs against HTHs may still leave a considerable amount of logic resources to be misused by malicious attacks. This letter presents a low-level HTH protection scheme for FPGAs by filling the unused resources with the proposed dummy logic. In the proposed scheme, we identify the unused resources at the device layout-level and offer dummy logic cells for different resources. The proposed HTH protection scheme has been applied on Xilinx Virtex devices implementing a set of IWLS benchmarks. The results show that by employing the proposed HTH... 

We conducted a study to explore the potential utility of the GATE Monte Carlo (MC) code as an independent tool for dose calculation. We established a unified framework for dose calculation in pencil beam scanning (PBS) proton therapy (PT). Using GATE, we modeled the SIEMENS IONTRIS active scanned-based PT system. To verify the model, we compared depth dose profiles obtained from the MC simulation with experimental date. Additionally, we utilized the TG-119 clinical test case from AAPM to assess the accuracy of treatment planning and delivery using proton beams. The results of the MC simulation demonstrated strong agreement with measurements, revealing a 2.3% in mean point-To-point, maximum... 

The effect of iridium and iron impregnation of HZSM-5 zeolite on the methanol to propylene reaction (MTP) was investigated. The selectivities of propylene and other hydrocarbons, and the conversion of methanol were compared by performing MTP in a small pilot plant. The results indicate that HZSM-5 zeolite modified by iron and iridium increased propylene selectivity by 6. 3% and 8%, respectively. The selectivity of propylene was higher for Ir/H-ZSM-5 than for Fe/H-ZSM-5, where Fe/H-ZSM-5 was more stable than Ir/H-ZSM-5. Analytic techniques, including X-ray diffraction, BET surface area, temperature-programmed desorption of ammonia, and inductively coupled plasma atomic emission spectroscopy,... 

SRAM-based FPGAs are currently utilized in applications such as industrial and space applications where high availability and reliability and low cost are important constraints. The technology of such devices is sensible to Single Event Upsets (SEUs) that may be originated mainly from heavy ion radiation. This paper presents a fault injection method that is based on emulated SEU on the configuration bitstrearn file of commercial SRAM-based FPGA devices to study the error propagation in these devices. To demonstrate the method, an Altera FPGA, i.e. the Flex10K200, and the ITC'99 benchmark circuits are used. A fault injection tool is developed to inject emulated SEU faults into the circuits.... 

The technology of SRAM-based devices is sensible to Single Event Upsets (SEUs) that may be induced mainly by high energy heavy ions and neutrons. This paper presents a framework for the evaluation of fault-tolerant designs implemented on SRAM-based FPGAs using emulated SEUs. The SEU injection process is performed by inserting emulated SEUs in the device using its configuration bitstream file. An Altera FPGA, i.e. the Flex10K200, and the ITC'99 benchmark circuits are used to experimentally evaluate the method. The results show that between 32 to 45 percent of SEUs injected to the device propagate to the output terminals of the device  

One of the most challenging tasks in computer vision is human action recognition. The recent development of depth sensors has created new opportunities in this field of research. In this paper, a novel supervised spatio-temporal kernel descriptor (SSTKDes) is proposed from RGB-depth videos to establish a discriminative and compact feature representation of actions. To enhance the descriptive and discriminative ability of the descriptor, extracted primary kernel-based features are transformed into a new space by exploiting a supervised training strategy; i.e., large margin nearest neighbor (LMNN). The LMNN highly reduces the error of a nearest neighbor classifier by minimizing the intra-class... 

One of the most challenging tasks in computer vision is human action recognition. The recent development of depth sensors has created new opportunities in this field of research. In this paper, a novel supervised spatio-temporal kernel descriptor (SSTKDes) is proposed from RGB-depth videos to establish a discriminative and compact feature representation of actions. To enhance the descriptive and discriminative ability of the descriptor, extracted primary kernel-based features are transformed into a new space by exploiting a supervised training strategy; i.e., large margin nearest neighbor (LMNN). The LMNN highly reduces the error of a nearest neighbor classifier by minimizing the intra-class... 

The purpose of this article is to investigate the shielding performance of the B2O3-Bi2O3-ZnO-Li2O glasses against the gamma-ray. To this end, the attenuation parameters of the gamma-ray inside the B2O3-Bi2O3-ZnO-Li2O glasses were evaluated in the energy range of 200–1500 keV. It was found that the mass attenuation coefficient of the composites increases with increasing the Li2O content. The relative percent deviation between the results of simulation using the MCNPX and XCOM database in most cases was less than 2%. Additionally, the Mean Free Path (MFP) and Half-Value Layer (HVL) parameters were evaluated, and the shielding efficiency of samples was compared with some conventional shielding... 

With the recent development in Non-Volatile Memory (NVM) technologies, several studies have suggested using them as an alternative to SRAMs in on-chip caches. However, limited endurance of NVMs is a major challenge when employed in the caches. This paper proposes a data manipulation technique, so-called Wearout Informed Pattern Elimination (WIPE), to improve the endurance of NVM-based caches by reducing the activity of frequent data patterns. Simulation results show that WIPE improves the endurance by up to 93% with negligible overheads. © 2017 IEEE  

Increasing usage of Solid-State Drives (SSDs) has greatly boosted the performance of storage backends. SSDs perform many internal processes such as out-of-place writes, wear-leveling, and garbage collection. These operations are complex and not well documented which make it difficult to create accurate SSD simulators. Our survey indicates that aside from complex configuration, available SSD simulators do not support both sync and discard requests. Past performance models also ignore the long term effect of I/O requests on SSD performance, which has been demonstrated to be significant. In this article, we utilize a methodology based on machine learning that extracts history-aware features at... 

A method for simulation-emulation co-operation of Verilog and VHDL models is presented. The method is based on using Programming Language Interface (PLI) to achieve speedup in prototyping and to facilitate the communication between an emulator and a simulator. The PLI technique is implemented for both Verilog and VHDL models. The results show that this simulation-emulation co-operation method can significantly reduce the simulation time of a design implemented by VHDL codes as well as Verilog codes. © Springer-Verlag Berlin Heidelberg 2002  

This paper presents an analytical approach to estimate the speedup in a simulation-emulation cooperation environment. The speedup of this approach as compared with the speedup of a pure simulation is analyzed. Also, an analysis of the speedup is given when different types of application instructions are utilized. The analysis is based on using both Verilog and VHDL. The results show that when only the simulation part of the simulation-emulation co-operation is used, the speedup is higher, than when the pure simulation is used. The total speedup is also depended on the type of application instructions and the communication cycle time between the simulator and the emulator. © 2002 IEEE  

Excessive energy consumption is one of the serious problems of large cities in Iran. In order to avoid unreasonable growth in energy use as well as conservation of natural resources, more attention should be paid to energy consumption patterns in metropolitan cities. Accordingly, the current study aims at analyzing energy demand and its related pollutants in the household sector in Tehran Metropolitan. The study includes a discussion of past trends and future scenarios to reduce greenhouse gas emissions in this sector. Using LEAP software and according to Iran's long-term development policies, energy demand and its greenhouse gas emissions were evaluated based on a baseline scenario within a... 

The universal paradigm shift towards green energy has accelerated the development of modern algorithms and technologies, among them converters such as Z-Source Inverters (ZSI) are playing an important role. ZSIs are single-stage inverters which are capable of performing both buck and boost operations through an impedance network that enables the shoot-through state. Despite all advantages, these inverters are associated with the non-minimum phase feature imposing heavy restrictions on their closed-loop response. Moreover, uncertainties such as parameter perturbation, unmodeled dynamics, and load disturbances may degrade their performance or even lead to instability, especially when...