In this paper, we present Generic System Verilog Universal Verification Methodology based Reusable Verification Environment for efficient verification of Image Signal Processing IP’s/SoC’s. With the tight schedules on all projects it is important to have a strong verification methodology which contributes to First Silicon Success. Deploy methodologies which enforce full functional coverage and ...

Introduction: Electronic Portal Imaging Device (EPID) and Cone Beam Computed Tomography (CBCT) are the preferred tools of Image Guided Radiotherapy (IGRT) and Dose Guided Radiotherapy (DGRT) which have been used for Radiotherapy treatment verifications. As a result, the number of publications dealing with these two tools for radiation treatment verification has increased consi...

logic analysis and attack construction methods are two major approaches in verification of cryptographic protocols. however, it is almost preferable to use both of them for a complete analysis. in this paper, a generic framework for the integration of the two verification approaches is presented. using the framework we can propose analysis methods in which security properties and breach scenari...

Introduction: Tumor control and treatment quality depend on accuracy of delivered dose. Various methods have been studied for treatment dosimetry verification. Among these methods, the use of electronic portal imaging device (EPID) is highly considered. Many efforts are underway to improve the results of this context.   Materials and Methods: In this study, ...

Background: The dynamic phantom is one of the best tools to study the impact of motion on tumor target delineation and absorbed dose verification during dose delivery. Materials and Methods: this study, a 6-DOF (degrees of freedom) phantom was designed following the stacked serial kinematics and assembled by six commercial motion stages to generate 6-DOF motion, which were RotX (pitch, around X...

The article considers the problem of forming civic responsibility students in lessons labor training. phenomenon is defined as an integrative manifestation a number its constituent components: socially active life position; independence, persistence, self-analysis, self-control and self-organization public relations; compliance with civil norms values; honesty; willingness to take for their own...

background: leishmaniasis is endemic in iran. different species of leishmania (l.) parasites are causative agents of this disease. correct identification of leishmania species is important for clinical studies, prevention, and control of the diseases. mix up of leishmania isolates is possible in the laboratory, so there is need for verification of species for isolates of uncertain identity. dif...