Concepedia

Miroslav N. Velev

MN

Statistics

Publications

31

Citations

1.2K

H-Index

21

Active since

1999

Affiliations

Carnegie Mellon University(Current)

Georgia Institute of Technology

Aries Design Automation (United States)

Miroslav N. Velev is an author at Carnegie Mellon University specializing in computer science, formal methods, and computer engineering.

Publications per year

1999–2020

31

Publications

31

Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic

Randal E. Bryant, Steven M. German, Miroslav N. Velev · ACM Transactions on Computational Logic · 2001 · 151 citations

Computing, Computer Engineering, Computer Science +17

Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors

Miroslav N. Velev, Randal E. Bryant · Journal of Symbolic Computation · 2003 · 146 citations

Computing, Computer Engineering, Computer Science +15

Formal verification of superscale microprocessors with multicycle functional units, exception, and branch prediction

Miroslav N. Velev, Randal E. Bryant · 2000 · 112 citations · Full text

Engineering, Computer Engineering, Computer Science +16

Effective use of boolean satisfiability procedures in the formal verification of superscalar and VLIW

Miroslav N. Velev, Randal E. Bryant · 2001 · 77 citations

Computing, Computer Engineering, Computer Science +15

Efficient translation of boolean formulas to CNF in formal verification of microprocessors

Miroslav N. Velev · Asia and South Pacific Design Automation Conference · 2004 · 70 citations

Engineering, Computer Engineering, Computer Science +11

1–5 of 31