Concepedia

Menon

ME

5

Publications

256

Citations

5

H-Index

1978

Active since

Affiliations

Nokia (United States)(Current)

AT&T (United States)

Menon is an author at Nokia (United States) specializing in formal methods, computer engineering, and engineering.

Top concepts

EngineeringVerificationFormal MethodsSoftware TestingFormal VerificationSystems EngineeringComputer EngineeringComputer ScienceDesign For TestingReliability Engineering

Publications per year

1978–1997

5

Publications

5

A Practical Approach to Fault Simulation and Test Generation for Bridging Faults

Abramovici, Menon · IEEE Transactions on Computers · 1985 · 98 citations

Engineering, Verification, Formal Verification +17

Test Generation Algorithms for Computer Hardware Description Languages

Levendel, Menon · IEEE Transactions on Computers · 1982 · 85 citations

Function Variables, Test Generation Algorithms, Engineering +19

Deductive Fault Simulation with Functional Blocks

Menon, Chappell · IEEE Transactions on Computers · 1978 · 33 citations

Fault Diagnosis, Engineering, Verification +19

Checkpoint Faults are not Sufficient Target Faults for Test Generation

Abramovici, Menon, M. A. Miller · IEEE Transactions on Computers · 1986 · 23 citations

Checkpoint Faults, Test Generation Algorithms, Engineering +18

Test generation for primitive path delay faults in combinational circuits

Tekumalla, Menon · 1997 · 17 citations

Engineering, Mem Testing, Verification +19

Rows per page

1–5 of 5