System Verilog Assertions (SVA) is widely used by hardware designers and verification engineers to apply Assertion Based Verification (ABV) methodology on their hardware designs. However, the ambiguity of design specifications specified by different protocol standards in general and JEDEC memory protocol standards in specific imposes numerous difficulties on designers and verification engineers

Education is the most important sector influencing development of nations. The experience of the USA, several European countries, and more recently of South Korea, India and China are but few examples of the positive influence gained from attention to education on economic growth and improvement of the standards of living. All components of the education system chain from preschool to primary

This paper demonstrates some fundamentals concerning the study of the Fractional order Transmission Line (FTL) operation. A numerical algorithm applied to study the transient analysis is shown describing the abnormal diffusion that appears in the operation of the TL. According to the steady state analysis of the FTL operation, the superior advantages over the conventional domain of imposing the

The integration of 2-D periodic nanopattern defined by nanoimprint lithography and dry etching into aluminum-induced crystallization-based polycrystalline silicon thin-film solar cells is investigated experimentally. Compared with the unpatterned cell, an increase of 6% in the light absorption has been achieved thanks to the nanopattern, which, in turn, increased the short-circuit current from 20

Building Information Modeling (BIM) has widely become an effective tool in engineering and construction fields. It could be used in: generating shop drawings; detecting clashes; estimating quantities; and controlling documents. Applying BIM technology on bridges is named Bridge Information Modeling (BrIM). Bridge Information Modeling (BrIM) is an intelligent representation of bridges since it

We report on the design and structure principles of 5,5′-6,6′-tetrachloro-1,1′-dioctyl-3,3′-bis-(3-carboxypropyl)-benzimidacarbocyanine (Dye 1). Such metal-free amphiphilic cyanine dyes have many applications in dye-sensitized solar cells. AFM surface topographic investigation of amphiphilic molecules of Dye 1 adsorbed on TiO2 anode reveals the ability of spontaneous self-organization into highly

Recently, mem-elements have become fundamental in the circuit theory through promising potential applications based on the built-in memory-properties of these elements. In this paper, the mathematical analysis of the memcapacitor model is derived and the effect of different voltage excitation signals is studied for the linear dopant model. General closed form expressions and analyses are presented

This paper introduces two voltage-controlled memristor-based reactance-less oscillators with analytical and circuit simulations. Two different topologies which are R-M and M-R are discussed as a function of the reference voltage where the generalized formulas of the oscillation frequency and conditions for oscillation for each topology are derived. The effect of the reference voltage on the

Novel chitosan-ZnO composites have been synthesized as luminescent taggants for cellulosic materials. The synthesized chitosan-ZnO nanospheres (CS-ZnO NS), chitosan-ZnO-oleic acid quantum dots (CS-ZnO-oleic QD) and chitosan-ZnO-oleic acid:Eu3+ doped nanorods (CS-ZnO-oleic:Eu3+ NR) were characterized by X-ray diffraction, photoluminescence spectroscopy, FTIR spectroscopy and transmission electron

The topic of memristive circuits is a novel topic in circuit theory that has become of great importance due to its unique behavior which is useful in different applications. But since there is a lack of memristor samples, a memristor emulator is used instead of a solid state memristor. In this paper, a new simple floating voltage-controlled memductor emulator is introduced which is implemented