Concepedia

M.K. Michael

MM

3

Publications

53

Citations

3

H-Index

2005

Active since

Affiliations

University of Cyprus(Current)

M.K. Michael is an author at University of Cyprus specializing in engineering, formal methods, and computer engineering.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware TestingBuilt-in Self-testDesign For TestingFormal VerificationComputer EngineeringProgram Analysis

Publications per year

2005–2008

3

Publications

3

Function-based compact test pattern generation for path delay faults

M.K. Michael, Spyros Tragoudas · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2005 · 23 citations

Engineering, Topological Circuit Traversals, Verification +17

A Novel SBST Generation Technique for Path-Delay Faults in Microprocessors Exploiting Gate- and RT-Level Descriptions

Kyriakos Christou, M.K. Michael, Paolo Bernardi et al. · Proceedings - IEEE VLSI Test Symposium/Proceedings of the ... IEEE VLSI Test Symposium · 2008 · 19 citations

Path-delay Faults, Engineering, Verification +27

Efficient Deterministic Test Generation for BIST Schemes with LFSR Reseeding

Stelios Neophytou, M.K. Michael, Spyros Tragoudas · 2006 · 11 citations

Engineering, Verification, Computer Architecture +16

Rows per page

1–3 of 3