Verification of Open Core Protocol using System Verilog and UVM

The ever-increasing complexity of the integrated circuits design and the scale of the projects are making verification more challenging and time-consuming. As a result, the rapidly expanding VLSI industry necessitates a highly reliable and robust verification mechanism. In this paper, System Verilog Verification and Universal Verification Methodologies were adopted to verify the Accellera Open Core Protocol 3.0 as per specifications. According to the verification plan, the environment was developed under a dynamic approach, and the passive aspects included scoreboard, functional coverage, and system verilog assertions. The presented frameworks had verified OCP achieving successful dataflow signals extensions as per results.

DESIGN OF FIR FILTER ALGORITHM FOR NOISE REMOVAL IN ECG SIGNAL USING OPEN CORE SoC

The emerging technology in computer architecture has led to the development of various ISAs depending on the needs of the desired technology, architectures, and processor cores. Instruction Set Architectures (ISAs) for processors from Intel, AMD, Intel, RISC-V, etc. This has provided the path to implement various functions on an open core SoC Platform. Among the many DSP applications, the FIR filter has been implemented on an open core SoC platform that uses RISCV. Here specifically filtering of noise from ECG signal. The performance cycle count has been obtained for the same and compared with its counterpart ARM M7 on the Keil platform.

Co/Ni-polyoxotungstate photocatalysts as precursor materials for electrocatalytic water oxidation

Open-core polyoxometalates are powerful precursors with pre-organized metal centers for the tunable synthesis of cobalt tungstate-based water oxidation electrocatalysts.

Study on Transformer JED Cap Actuation Systems in the Field of Very Strong Electromagnetic Disturbances

This work presents the results of research on the influence of strong external electromagnetic fields on the operation of JED spark caps activated by transformer systems. The tests were carried out in order to determine the conditions of safe use of JED caps installed in control systems of generators producing electric current pulses using the principle of an explosive magnetic field cumulation [1]. For this purpose, the measurements of the voltages induced in the transformer JED spark cap actuation system were performed using sinusoidal external current with an amplitude of 10 kA for a period of 15 microseconds. This current flowed at a distance from d = 10 mm to d = 40 mm from the axis of the ferrite cores of the applied transformers: a closed core with an outer diameter of 20 mm, an inner diameter of 10 mm and a height of 10 mm and an open core with a diameter of 6 mm and a length of 25 mm. The transformers used in Air Force Institute of Technology (AFIT) were placed alternately parallel and perpendicular to the axis of the current conductor. In the case of a transformer with a cylindrical open core perpendicular to the current axis, the induced voltages significantly exceeded the values at which the caps were activated (about 2 kV) and became lower than these values at d of about 40 mm. Toroidal closed cores provided induced voltages of up to 200 V (10 times lower) for all configurations tested. The measurements were performed using a system and methods developed at AFIT.

Generic derivations on o-minimal structures

Let [Formula: see text] be a complete, model complete o-minimal theory extending the theory [Formula: see text] of real closed ordered fields in some appropriate language [Formula: see text]. We study derivations [Formula: see text] on models [Formula: see text]. We introduce the notion of a [Formula: see text]-derivation: a derivation which is compatible with the [Formula: see text]-definable [Formula: see text]-functions on [Formula: see text]. We show that the theory of [Formula: see text]-models with a [Formula: see text]-derivation has a model completion [Formula: see text]. The derivation in models [Formula: see text] behaves “generically”, it is wildly discontinuous and its kernel is a dense elementary [Formula: see text]-substructure of [Formula: see text]. If [Formula: see text], then [Formula: see text] is the theory of closed ordered differential fields (CODFs) as introduced by Michael Singer. We are able to recover many of the known facts about CODF in our setting. Among other things, we show that [Formula: see text] has [Formula: see text] as its open core, that [Formula: see text] is distal, and that [Formula: see text] eliminates imaginaries. We also show that the theory of [Formula: see text]-models with finitely many commuting [Formula: see text]-derivations has a model completion.

Future of Telecommunications is Open Source

Papers in the September 2020 issue of the Journal include the NBN Futures Forum on the social and economic benefits of broadband for digital inclusion and telehealth, the benefits of submarine cables to South Pacific nations, 5G transmission, the economics of over-the-top media, energy efficient wireless sensor networks and a celebration of the life of Liz Fell, journalist and Distinguished Fellow of the Telecommunications Society of Australia (now the Telecommunications Association). This year, open source has moved into focus with the telecommunications industry, with open core systems and open radio access networks for 5G taking centre stage. The Journal welcomes contributions on telecommunications and the digital economy.