Statistics
Publications
105
Citations
1K
Authors
4
Location
Houston, United States
105
Formal verification of a pipelined microprocessor
Mandayam Srivas, Mark Bickford · IEEE Software · 1990 · 118 citations
Engineering, Hardware Verification Language, Verification +20
1–5 of 105
4
2
h-index
Odyssey Space Research (United States), United States
2 publications · 23 citations
1
h-index
1
h-index
1
h-index
1–4 of 4