SystemVerilog Assertions (SVA) can be used to implement relatively complex functional coverage models under appropriate circumstances. This paper explores the issues and implementation of such a functional coverage model to demonstrate both the capabilities of SVA coverage and illustrate coding techniques which can also be applied to the more typical use of SVA coverage, which is to specify key...

Single-crystals of CsCeF5 were synthesized hydro-thermally. The crystal under investigation was twinned by pseudo-merohedry with a twofold rotation around the c axis as an additional twinning operation. The crystal structure is built of layers of distorted edge- and corner-sharing CeF8 square-anti-prisms. The Cs(+) cations are located between the layers and exhibit coordination numbers of nine....

The transient hyperaemic response in the middle cerebral artery blood flow velocity on the release of brief compression of the ipsilateral common carotid artery has been validated as an indicator of cerebral autoregulation. We evaluated, in three stages, the effect of experimental factors such as duration of compression of the common carotid artery and magnitude of the decrease in blood flow ve...

The present numerical investigation focuses on the leading edge bluntness effects double-wedge with varied aft-wedge angles exposed to low enthalpy hypersonic free stream conditions. ratio in this study varies, ranging from R/L1 = 0 (sharp edge) 0.577 (maximum allowable bluntness), along angle varying between {\theta}2 450 and 600. Noticeably, even a small can completely change shock interactio...

in order to improve particle properties, new processes combining granulation and crystallization are being developed. this work deals with the spherical crystallization process by the quasi-emulsion mechanism applied to carbamazepine, a pharmaceutical drug. the aim of the present study was to produce of spherical grains made of mall crystals of a drug that have adequate properties for direct co...

Sensitivity of 8-week-old infants to optical flow specifying the shape of a three-dimensional object was assessed. Infants viewed kinetic random-dot displays that specified three-dimensional cubes. The cubes were identical except for the presence or absence of an interior corner. Half of the infants viewed the full display. The other half viewed the central region of the displays, where the flo...

The importance of an interconnect pattern density model in ASIC design flow for a 90nm technology is presented. It is shown that performing the timing analysis at the worst-case corner model for interconnect variation, without the knowledge of interconnect pattern density, often results in overdesign. Our experiments on real ASIC products indicate that knowledge of interconnect pattern density ...

Changing the compression ratio and presence of turbocharger are two important issues, affecting on performance, and exhaust emissions in internal combustion engines. To study the functional properties and exhaust emissions in regards to compression ratio at different speeds, the numerical solution of the governing equations on the fluid flow inside the combustion chamber and the numerical solut...

Whether blood flow during cardiopulmonary resuscitation (CPR) results from intrathoracic pressure fluctuations or direct cardiac compression remains controversial. From modeling considerations, blood flow due to intrathoracic pressure fluctuations should be insensitive to compression rate over a wide range, but dependent on the applied force and compression duration. If direct compression of th...