Concepedia

M.K. Iyer

MI

9

Publications

270

Citations

9

H-Index

2002

Active since

Affiliations

University of California, Santa Barbara(Current)

M.K. Iyer is an author at University of California, Santa Barbara specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationComputer EngineeringVerificationAutomated ReasoningSatisfiabilityProgram AnalysisSystems Engineering

Publications per year

2002–2005

9

Publications

9

A self-test methodology for IP cores in bus-based programmable SoCs

Jing-Reng Huang, M.K. Iyer, Kwang‐Ting Cheng · 2002 · 61 citations

Engineering, Computer Architecture, Embedded Systems +16

An Efficient Sequential SAT Solver With Improved Search Strategies

Feng Lu, M.K. Iyer, G. Parthasarathy et al. · Design, Automation, and Test in Europe · 2005 · 45 citations

Engineering, Verification, Computational Complexity +19

SATORI - A Fast Sequential SAT Engine for Circuits

M.K. Iyer, G. Parthasarathy, Kwang‐Ting Cheng · International Conference on Computer Aided Design · 2003 · 43 citations

Engineering, Verification, Computer Architecture +19

An efficient finite-domain constraint solver for circuits

G. Parthasarathy, M.K. Iyer, Kwang‐Ting Cheng et al. · 2004 · 38 citations

Logic Synthesis, Constraint Solving, Engineering +13

SATORI-a fast sequential SAT engine for circuits

M.K. Iyer, G. Parthasarathy, Kwang‐Ting Cheng · ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486) · 2003 · 26 citations

Engineering, Verification, Computer Architecture +19

Rows per page

1–5 of 9