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 historic landscape of the Mendip Hills

When travelling north-east across the Somerset Levels and Moors the eye is drawn to the dark mass of the Mendip Hills, a Carboniferous Limestone ridge which rises abruptly from the flatness of its surroundings. The Historic Landscape of the Mendip Hills explores the archaeology and architecture of this remarkable corner of England, beginning with evidence for the first hunting groups who passed through the region over half a million years ago. Succeeding generations have left their mark on the Hills, from the enigmatic ceremonial structures of the Neolithic and Early Bronze Age, to the ancient farming landscapes and brooding hillforts of the Later Prehistoric period. Field archaeology, combined with architectural and historical enquiry, has also allowed a complex narrative to be constructed for more recent periods of history. This is a story dominated by adaptation and change, evidenced by the developing architecture of manorial centres and the shadowy remains of earlier structures fossilized within village houses. This volume presents a synthesis of the results of recent fieldwork undertaken by English Heritage and traces this region’s remarkable past, revealing ways in which it has shaped the landscape we see and value today.

Arctic Snow Microstructure Experiment for the development of snow emission modelling

The Arctic Snow Microstructure Experiment (ASMEx) took place in Sodankylä, Finland in the winters of 2013-2014 and 2014-2015. Radiometric, macro-, and microstructure measurements were made under different experimental conditions of homogenous snow slabs, extracted from the natural seasonal taiga snowpack. Traditional and modern measurement techniques were used for snow macro- and microstructure observations. Radiometric measurements of the microwave emission of snow on reflector and absorber bases were made at frequencies 18.7, 21.0, 36.5, 89.0 and 150.0 GHz, for both horizontal and vertical polarizations. Two measurement configurations were used for radiometric measurements: a reflecting surface and an absorbing base beneath the snow slabs. Simulations of brightness temperatures using two microwave emission models, Helsinki University of Technology (HUT) snow emission model and Microwave Emission Model of Layered Snowpacks (MEMLS), were compared to observed brightness temperatures. RMSE and bias were calculated; with the RMSE and bias values being smallest upon an absorbing base at vertical polarization. Simulations overestimated the brightness temperatures on absorbing base cases at horizontal polarization. With the other experimental conditions, the biases were small; with the exception of the HUT model 36.5 GHz simulation, which produced an underestimation for the reflector base cases. This experiment provides a solid framework for future research on the extinction of microwave radiation inside snow.