Generic construction of monitors for floating point unit designs

This paper proposes a set of well defined steps to design functional verification monitors intended to verify Floating Point Units (FPU) described in HDL. The first step consists on defining the input and output domain coverage. Next, the corner cases are defined. Finally, an already verified reference model is used in order to test the correctness of the Device Under Verification (DUV). As a case study a monitor for an IEEE754-2008 compliant design is implemented. This monitor is built to be easily instantiated into verification frameworks such as OVM. Two different designs were verified reaching complete input coverage and successful compliant results.

The Hugh Sinclair Unit of Human Nutrition – 20 years of research 1995–2015

The Hugh Sinclair Unit of Human Nutrition (HSUHN) at the University of Reading was founded in October 1995 with the appointment of Christine Williams OBE as the first Hugh Sinclair Chair in Human Nutrition. This was made possible by the competitively won funds from the estate and legacy of the late Professor Hugh Macdonald Sinclair (1910–1990). The vision for the newly established HSUHN was to ‘strengthen the evidence base for dietary recommendations for prevention of degenerative chronic diseases’. This has remained the research focus of the HSUHN under the leadership of Professors Christine Williams (1995–2005), Ian Rowland (2006–2013) and Julie Lovegrove (2014-present). Our mission is to improve population health and evaluate mechanisms of action for the effects of dietary components on health, which reflects Hugh Sinclair’s life ambition within nutritional science. Over the past 20 years, the HSUHN has developed an international reputation within the nutrition science community, and in recognition of the 20th anniversary, this paper highlights Hugh Sinclair’s contributions to the field of nutrition and key research achievements by members of the Unit.

Shadow lines in the arithmetic of elliptic curves

Let E/Q be an elliptic curve and p a rational prime of good ordinary reduction. For every imaginary quadratic field K/Q satisfying the Heegner hypothesis for E we have a corresponding line in E(K)\otimes Q_p, known as a shadow line. When E/Q has analytic rank 2 and E/K has analytic rank 3, shadow lines are expected to lie in E(Q)\otimes Qp. If, in addition, p splits in K/Q, then shadow lines can be determined using the anticyclotomic p-adic height pairing. We develop an algorithm to compute anticyclotomic p-adic heights which we then use to provide an algorithm to compute shadow lines. We conclude by illustrating these algorithms in a collection of examples.