43
Publications
1.2K
Citations
21
H-Index
1994
Active since
Ian G. Harris is an author at University of California, Irvine specializing in engineering, computer science, and formal verification.
Top concepts
EngineeringComputer ScienceComputer EngineeringSoftware TestingFormal VerificationProgram AnalysisSoftware AnalysisSystems EngineeringVerificationFormal Methods
Publications per year
1994–2024
43
43
Microarchitectural synthesis of VLSI designs with high test concurrency
Ian G. Harris, Alex Orailoğlu · 1994 · 63 citations · Full text
BIST-based delay path testing in FPGA architectures
Ian G. Harris, P.R. Menon, Russell Tessier · 2002 · 60 citations
Rows per page
1–5 of 43