1
Publications
16
Citations
1
H-Index
2002
Active since
S. Mehta is an author specializing in formal methods, hardware security, and instrumentation.
Top concepts
EngineeringVerificationFormal MethodsInstrumentationComputer ScienceHardware SecurityParallel ComputingFormal VerificationComputer EngineeringComputer Architecture
Publications per year
2002–2002
1
1
Verification of the UltraSPARC microprocessor
S. Mehta, Sameer Ahmed, S. Al-Ashari et al. · 2002 · 16 citations
Engineering, Hardware Verification Language, Verification +18
Rows per page
1–1 of 1