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.

Computing the Cassels–Tate pairing on the 3-Selmer group of an elliptic curve

We extend the method of Cassels for computing the Cassels-Tate pairing on the 2-Selmer group of an elliptic curve, to the case of 3-Selmer groups. This requires significant modifications to both the local and global parts of the calculation. Our method is practical in sufficiently small examples, and can be used to improve the upper bound for the rank of an elliptic curve obtained by 3-descent.