Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,986,375 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Bit array
Electronic design automation
Hardware description language
Hardware verification language
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Investigation of superovulation response in Brown Swiss cows after synchronization using progesterone and oestradiol valerate.
B. Bülbül
,
M. Kırbaş
,
M. Köse
,
S. Dursun
2010
Corpus ID: 59473843
To evaluate the superovulatory response after synchronization using progesterone and oestradiol valerate, a total of 19 Brown…
Expand
2007
2007
REMOVAL OF HELMINTH PARASITIC EGGS FROM WASTE STABILIZATION PONDS AT SHIMOGA
M. Shanthala
,
B. B. Hosetti
,
R. Stott
2007
Corpus ID: 29545433
Helminth ova removal rates from waste stabilization pond effluents under tropical conditions of Shimoga using both laboratory and…
Expand
Review
2006
Review
2006
Advances in Thermophilic Anaerobic Digestion
John Willis
,
P. Schafer
2006
Corpus ID: 51767900
Significant advances have been made in the knowledge base and practical options for improving thermophilic anaerobic digestion…
Expand
1999
1999
A comparative study on the feeding of eel, Anguilla anguilla (L.), bream, Abramis brama (L.) and ruffe, Gymnocephalus cernuus (L.) in Lake Võrtsjärv, Estonia
K. Kangur
,
A. Kangur
,
P. Kangur
Hydrobiologia
1999
Corpus ID: 22583855
The stomach contents of eel, bream and ruffe were examined in order to detect the diet overlap and possible food competition…
Expand
Review
1988
Review
1988
A contribution to the reproductive biology and geographical distribution of Antarctic Octopodidae (Cephalopoda)
S. Kuehl
1988
Corpus ID: 56145297
Benthic octopods were collected during a bottom trawl survey on the western shelf of Elephant Island (South Shetland Islands…
Expand
1979
1979
Reproductive Modes of the Least Chub (Iotichthys Phlegethontis - Cope)
M. Crawford
1979
Corpus ID: 89699167
Reproductive Modes of the Least Chub (Iotichthys phlegethoutis Cope). by Marianne Crawford Utah State University, 1979 Major…
Expand
1966
1966
A DIRECT METHOD FOR THE DISPLAY OF CHROMOSOMES FROM EARLY PIG EMBRYOS
R. A. Mcfeely
1966
Corpus ID: 67829363
The demonstration of chromosome abnormalities associated with spontaneous abortions in humans (Carr, 1963) has prompted the…
Expand
Review
1954
Review
1954
Cor pulmonale in Manson's schistosomiasis. I. Frequency in necropsy material; pulmonary vascular changes caused by schistosome ova.
J. L. Faria
1954
Corpus ID: 81114125
Some patients with late schistosomiasis, in the stage of hepatic cirrhosis, eventually present a clinical picture of chronic cor…
Expand
Highly Cited
1934
Highly Cited
1934
Notes on Ovulation and Fertilisation in the Ferret
J. Hammond
,
A. Walton
1934
Corpus ID: 89059402
1. The ferret ovulates normally about 30 hours after coitus. 2. The average duration of coitus is about 2 hours but varies from…
Expand
1933
1933
METABOLIC CHANGES ASSOCIATED WITH ENDOCRINE ACTIVITY AND THE REPRODUCTIVE CYCLE IN XENOPUS LAEVIS : III. CHANGES IN THE CALCIUM CONTENT OF THE SERUM ASSOCIATED WITH CAPTIVITY AND THE NORMAL…
H. Zwarenstein
,
H. Shapiro
1933
Corpus ID: 89689948
IN a previous paper (Shapiro and Zwarenstein, 1933) it was shown that castration in Xenopus laevis results after 6 months in a…
Expand