OpenVera

Known as: Ova, Vera 
OpenVera is a hardware verification language developed and managed by Synopsys.OpenVera is an interoperable, open hardware verification language for… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
The ability of vaccines to induce memory cytotoxic T-cell responses in the lung is crucial in stemming and treating pulmonary… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2001
Review
2001
Bacteria as the cause of ulcerative colitis Ulcerative colitis (UC) is a chronic inflammatory condition of the large bowel of… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Most discussions of ‘sperm competition’ have ignored the potential for competition among the different sperm genotypes present in… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
MALES of most animal species will enhance their reproductive success if they mate often and with many different partners, whereas… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
The mating behaviour of the water strider Gerris buenoi Kirkaldy was investigated in the field and laboratory . The conflict… (More)
  • figure 1
  • table I
  • table 11
  • table III
  • figure 2
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Among mammals sperm competition leads to selection for increased sperm numbers but it is not known whether it also leads to… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
1988
Highly Cited
1988
In most species of animals, females attain larger body sizes than do males. This generality was established for many groups (e.g… (More)
Is this relevant?
Highly Cited
1982
Highly Cited
1982
The primary locus of contact between free-living yellow baboons (Papio cynocephalus) in the Amboseli National Park of Kenya and… (More)
  • table 2
  • table 1
Is this relevant?
Highly Cited
1979
Highly Cited
1979
The reproduction of Stylophora pistillata, one of the most abundant coral species in the Gulf of Eilat, Red Sea, was studied over… (More)
Is this relevant?
Highly Cited
1977
Highly Cited
1977
The gonads of all juveniles of the zebrafish, Bradtydanw rerio, start differentiating as ovaries about 10-12 days after hatching… (More)
Is this relevant?