N.R. Strader is an author at Motorola (United States) specializing in formal verification, formal methods, and hardware security.
Top concepts
EngineeringVerificationFormal MethodsHardware SecurityFormal VerificationComputer EngineeringComputer ArchitectureComputer ScienceSystems EngineeringDesign
Publications per year
1988–2002
3
3
Commercial design verification: methodology and tools
Carl Pixley, N.R. Strader, William C. Bruce et al. · 2002 · 20 citations
Hardware Modeling, Engineering, Hardware Verification Language +19
Emulation verification of the Motorola 68060
Jayanand Asok Kumar, N.R. Strader, James W. Freeman et al. · 2002 · 18 citations
Rows per page
1–3 of 3