Concepedia

Navin Vemuri

NV

1

Publications

77

Citations

1

H-Index

2002

Active since

Affiliations

Intel (United States)(Current)

Navin Vemuri is an author at Intel (United States) specializing in computer architecture, formal verification, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceHardware SecurityParallel ComputingFormal VerificationComputer EngineeringParallel ProgrammingComputer Architecture

Publications per year

2002–2002

1

Publications

1

BDD-based logic synthesis for LUT-based FPGAs

Navin Vemuri, Priyank Kalla, Russell Tessier · ACM Transactions on Design Automation of Electronic Systems · 2002 · 77 citations

Hardware Security, Contemporary Fpga Synthesis, Logic Synthesis +15

Rows per page

1–1 of 1