Concepedia

M. Syal

MS

Statistics

Publications

4

Citations

79

H-Index

4

Active since

2003

Affiliations

Virginia Tech(Current)

Intel (United States)

M. Syal is an author at Virginia Tech specializing in formal methods, computer engineering, and program analysis.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringHardware Security

Publications per year

2003–2006

4

Publications

4

A Study of Implication Based Pseudo Functional Testing

M. Syal, Kameshwar Chandrasekar, Vishnu C. Vimjam et al. · Proceedings/Proceedings - International Test Conference · 2006 · 37 citations

Engineering, Hardware Verification Language, Verification +21

New techniques for untestable fault identification in sequential circuits

M. Syal, Michael S. Hsiao · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2006 · 18 citations

Engineering, Verification, Hardware Systems +19

Untestable fault identification using recurrence relations and impossible value assignments

M. Syal, Michael S. Hsiao · 2004 · 12 citations

Engineering, Fault Attack, Verification +23

A Novel, Low-Cost Algorithm for Sequentially Untestable Fault Identification

M. Syal, Michael S. Hsiao · Design, Automation, and Test in Europe · 2003 · 12 citations

Engineering, Verification, Computer Architecture +21

1–4 of 4