Functional coverage is a key metric for establishing the overall completeness of a verification process; however, empirical evidence suggests that coverage models are often inaccurate, misleading and incomplete. This paper proposes that such coverage defects are extremely common and since coverage analysis tends to focus on holes, or missing coverage, rather than the accuracy of what is already...

The rationing of health care is not new. If we are interested in the origins of health economics we should remember 1699 (not quite a tercentennial). This was the year that William Petty published his discourse that evaluated many things including human beings in "Political Arithmetick". Since then the investment in health has depended on the wealth of the individual or state and the emphasis o...