We present GOLDMINE, a methodology for generating assertions automatically. Our method involves a combination of data mining and static analysis of the Register Transfer Level (RTL) design. We present results of using GoldMine for assertion generation of the RTL of a 1000-core processor design that is still in an evolving stage. Our results show that GoldMine can generate complex, high coverage assertions in RTL, thereby minimizing human effort in this process.

The overnight metyrapone test identified more patients with possible ACTH deficiency than the insulin hypoglycaemia test. Further follow-up of these patients is required before a final judgement can be made as to whether more subtle but clinically relevant ACTH deficiency can be detected by the metyrapone test. Our clinical follow-up to date would not support this.

The growth kinetics of a virulence plasmid-bearing (P+) and a plasmid-cured (P-) strain of Yersinia enterocolitica serotype O:3 in pure and meat culture were investigated. Growth studies were carried out at 25 and 37 degrees C in supplemented phosphate-buffered saline, buffered peptone water, cefsulodin-irgasan-novobiocin broth base or supplemented broth base (CIN). The lag phase durations and growth rates under these conditions were determined by linear regression analysis. In pure culture, under most sets of equivalent conditions, P+ and P- strains had similar lag phase durations. However, under one set of conditions, i.e. CIN broth at 37 degrees C, the lag phase duration of the P+ strain was significantly longer than P-. In all but the most selective medium, P+ strains had slower growth rates that P- strains at 37 degrees C, probably due to the increase metabolic burden entailed in the maintenance of the virulence plasmid. In the most selective medium, i.e. CIN broth, P+ strains grew significantly faster than P-. This finding suggests that possession of virulence plasmid confers an enhanced ability to grow in the presence of selective agents. In meat cultures, both strains had longer lag phase than in equivalent pure cultures, with longer lag phases noted at 37 than at 25 degrees C. No significant differences were observed between the length of lag phases of P+ and P strains in meat culture. Both strains of Y. enterocolitica displayed faster growth rates in meat cultures than in pure cultures, indicating that one of more components of meat enhanced the growth of this organism. The effects and interaction of incubation temperature, enrichment broth and meat on the growth kinetics of plasmid-bearing and plasmid-cured Y. enterocolitica strains are discussed.

SUMMARY An account is given of the results of Snellen tests on 14,197 children at the age of seven. 79 per cent had a visual acuity of 6/6 in both eyes, and in 96 per cent at least one eye had an acuity of 6/9 or better. The visual acuity in each eye was the same, or no more than one line different, in 96 per cent of the total sample surveyed, and in 98 per cent of the children who had never had a squint. 6 per cent of the children had been prescribed glasses at some time, but in only three‐quarters of these were the glasses available for the test. A comparison of unaided and aided vision in children with glasses showed that the proportion with 6/6 visual acuity in both eyes was increased from 45 per cent to 62 per cent after correction. The proportion of children in whom the unaided visual acuity was only 6/18 or less in the better eye, was reduced from 20 per cent to 4 per cent after correction with glasses. RÉSUMÉ Acuité visuelle d'un échantillon national (1958 Cohort) à 7 ans Les auteurs rapportent les résultats de tests de Snellen pratiqués chez 14.197 enfants de 7 ans. 79 pour cent ont une acuité de 6/6 pour chaque oeil et dans 96 pour cent des cas, un oeil a une acuité de 6/9 ou mieux. L'acuité visuelle est identique pour chaque oeil ou différente de moins d'un point pour 96 pour cent de l'échantillon total et pour 98 pour cent des enfants n'ayant jamais préssnté de strabisme. 6 pour cent des enfants avaient reçu une prescription de lunettes à un moment donné mais les lunettes n'ont été utilisables pour le test que dans trois quart des cas. Une comparaison de la vision non corrigée ou corrigee par lunettes a montré que la proportion d'acuité visuelle à 6/6 pour les deux yeux a augmenté de 45 à 62 pour cent après correction. La proportion des enfants portant des lunettes chez qui l'acuité visuelle était au maximum de 6/18 pour le meilleur oeil a été réduit de 20 à 4 pour cent après correction. ZUSAMMENFASSUNG Sehschärfe mit sieben Jahren bei einer nationalen Untersuchung (1958 Cohort) Es wird über die Ergebnisse von Snellen Tests bei 14,197 Kindern mit sieben Jahren berichtet. 79 prozent hatten eine Sehschärfe von 6/6 auf beiden Augen, und 96 prozent hatten mindestens auf einem Auge eine Schärfe von 6/9 oder besser. Bei 96 prozent aller untersuchten Kinder war die Sehschärfe in beiden Augen gleich oder nicht mehr als eine Zeile unterschiedlich, und 98 prozent hatten niemals geschielt. 6 prozent der Kinder hatten irgendwann Brillengläser verschrieben bekommen, aber nur drei Viertel davon hatten die Gläser beim Test dabei. Ein Vergleich der korrigierten mit den nicht korrigierten Brillenträgern zeigte, daß nach der Korrektur der Anteil mit einer Sheschärfe von 6/6 auf beiden Augen von 45 auf 62 prozent angestiegen war. Der Anteil brillentragender Kinder, bei denen die Sehschärfe im nicht korrigierten Auge nur 6/18 oder weniger betrug, wurde nach der Korrektur von 20 auf 4 prozent gesenkt. RESUMEN Agudeza visual en una muestra national (1958 Cohort) a los 1 anos de edad Se da cuenta de los resultados de los...

No abstract