Skip to content

Ranga Vemuri

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

146

Venues

17

Active years

1978–2024

Best venue rank

A*

Where they publish

Papers

146 indexed papers, newest first.

YearVenueTitleAuthors
2024VLSIDROBUST: RTL OBfuscation USing Bi-functional Polymorphic OperaTors.Haimanti Chakraborty, Ranga Vemuri
2024VLSIDPattern Based Synthetic Benchmark Generation for Hardware Security Applications.Juneet Kumar Meka, Satya AmarKant Marupureddy, Ranga Vemuri
2024VLSIDEnhancing Output Corruption Through GSHE Switch Based Logic Encryption.Nikhil Saxena, Ranga Vemuri
2024VLSIDTrojan Localization Using Information Flow Tracking Properties in SoC Designs.Suriya Srinivasan, Ranga Vemuri
2023VLSIDASPIRE: An Intermediate Representation for Abstract Security Policies.Padmaja Bhamidipati, Ranga Vemuri
2023VLSIDMutation Analysis and Model Checking Guided Test Generation for SoC Run-Time Monitors.Suriya Srinivasan, Ranga Vemuri
2023VLSIDWord-Level Structure Identification In FPGA Designs Using Cell Proximity Information.Aparajithan Nathamuni Venkatesan, Ram Venkat Narayanan, Kishore Pula, Sundarakumar Muthukumaran, Ranga Vemuri
2022ICCDModel Checking Leveraged Error Localization for Complex RTL Designs.Suriya Srinivasan, Ranga Vemuri
2021ICCDEfficient Methods for SoC Trust Validation Using Information Flow Verification.Khitam M. Alatoun, Shanmukha Murali Achyutha, Ranga Vemuri
2020VLSIDStateLock: State Transition Based Logic Locking for Sequential Circuits.Yasaswy Kasarabada, Ranga Vemuri
2019VLSIDA State Encoding Methodology for Side-Channel Security vs. Power Trade-off Exploration.Richa Agrawal, Mike Borowczak, Ranga Vemuri
2018ICCDReverse Engineering of Split Manufactured Sequential Circuits Using Satisfiability Checking.Suyuan Chen, Ranga Vemuri
2018VLSIDCombined Inference and Satisfiability Based Methods for Complete Signal Restoration in Post-Silicon Validation.Xiaobang Liu, Ranga Vemuri
2017ICCDEffective Signal Restoration in Post-Silicon Validation.Xiaobang Liu, Ranga Vemuri
2016ICCDA novel simulation based approach for trace signal selection in silicon debug.Prabanjan Komari, Ranga Vemuri
2010ICCADStretching the limit of microarchitectural level leakage control with Adaptive Light-Weight Vth Hopping.Hao Xu, Wen-Ben Jone, Ranga Vemuri
2010ICCADCurrent shaping and multi-thread activation for fast and reliable power mode transition in multicore designs.Hao Xu, Ranga Vemuri, Wen-Ben Jone
2010VLSIDNovel Vth Hopping Techniques for Aggressive Runtime Leakage Control.Hao Xu, Wen-Ben Jone, Ranga Vemuri
2009DATEA graph grammar based approach to automated multi-objective analog circuit design.Angan Das, Ranga Vemuri
2009DATESelective light Vth hopping (SLITH): Bridging the gap between runtime dynamic and leakage.Hao Xu, Ranga Vemuri, Wen-Ben Jone
2009ICCADTemporal and spatial idleness exploitation for optimal-grained leakage control.Hao Xu, Ranga Vemuri, Wen-Ben Jone
2009ICCDAccurate estimation of vector dependent leakage power in the presence of process variations.Romana Fernandes, Ranga Vemuri
2009VLSIDVariation-Aware Macromodeling and Synthesis of Analog Circuits Using Spline Center and Range Method and Dynamically Reduced Design Space.Shubhankar Basu, Balaji Kommineni, Ranga Vemuri
2009VLSIDFuzzy Logic Based Guidance to Graph Grammar Framework for Automated Analog Circuit Design.Angan Das, Ranga Vemuri
2009VLSIDEfficient Synthesis of a Uniformly Spread Layout Aware Pareto Surface for Analog Circuits.Almitra Pradhan, Ranga Vemuri
2008DACTopology synthesis of analog circuits based on adaptively generated building blocks.Angan Das, Ranga Vemuri
2008DATEFast Analog Circuit Synthesis Using Sensitivity Based Near Neighbor Searches.Almitra Pradhan, Ranga Vemuri
2008ICCADAccurate energy breakeven time estimation for run-time power gating.Hao Xu, Wen-Ben Jone, Ranga Vemuri
2008ICCDRun-time Active Leakage Reduction by power gating and reverse body biasing: An eNERGY vIEW.Hao Xu, Ranga Vemuri, Wen-Ben Jone
2008ISCASATLAS: An adaptively formed hierarchical cell library based analog synthesis framework.Angan Das, Ranga Vemuri
2008ISLPEDDynamic virtual ground voltage estimation for power gating.Hao Xu, Ranga Vemuri, Wen-Ben Jone
2008VLSIDMismatch Aware Analog Performance Macromodeling Using Spline Center and Range Regression on Adaptive Samples.Shubhankar Basu, Balaji Kommineni, Ranga Vemuri
2008VLSIDOn the Use of Hash Tables for Efficient Analog Circuit Synthesis.Almitra Pradhan, Ranga Vemuri
2008VLSIDReduced Complementary Dynamic and Differential Logic: A CMOS Logic Style for DPA-Resistant Secure IC Design.Srividhya Rammohan, Vijay Sundaresan, Ranga Vemuri
2007ICCDPower variations of multi-port routers in an application-specific NoC design : A case study.Balasubramanian Sethuraman, Ranga Vemuri
2007ICMLAA spline based regression technique on interval valued noisy data.Balaji Kommineni, Shubhankar Basu, Ranga Vemuri
2007ISCASGAPSYS: A GA-based Tool for Automated Passive Analog Circuit Synthesis.Angan Das, Ranga Vemuri
2007ISLPEDMulticasting based topology generation and core mapping for a power efficient networks-on-chip.Balasubramanian Sethuraman, Ranga Vemuri
2007VLSIDA Force-directed Approach for Fast Generation of Efficient Multi-Port NoC Architectures.Balasubramanian Sethuraman, Ranga Vemuri
2007VLSIDEfficient Symbolic Sensitivity based Parasitic-Inclusive Optimization in Layout Aware Analog Circuit Synthesis.Huiying Yang, Ranga Vemuri
2006DATEoptiMap: a tool for automated generation of noc architectures using multi-port routers for FPGAs.Balasubramanian Sethuraman, Ranga Vemuri
2006DATEEfficient temperature-dependent symbolic sensitivity analysis and symbolic performance evaluation in analog circuit synthesis.Huiying Yang, Ranga Vemuri
2006FPLMulti2 Router: A Novel Multi Local Port Router Architecture with Broadcast Facility for FPGA-Based Networks-on-Chip.Balasubramanian Sethuraman, Ranga Vemuri
2006ICCADStudying a GALS FPGA architecture using a parameterized automatic design flow.Xin Jia, Ranga Vemuri
2006ISCASExact hierarchical symbolic analysis of large analog networks using a general interconnection template.Mukesh Ranjan, Ranga Vemuri
2006VLSIDParasitic Aware Routing Methodology Based on Higher Order RLCK Moment Metrics.Amitava Bhaduri, Ranga Vemuri
2006VLSIDSymbolic Time-Domain Behavioral and Performance Modeling of Linear Analog Circuits Using an Efficient Symbolic Newton-Iteration Algorithm for Pole Extraction.Ritochit Chakraborty, Mukesh Ranjan, Ranga Vemuri
2006VLSIDEfficient Analog Performance Macromodeling via Sequential Design Space Decomposition.Mengmeng Ding, Ranga Vemuri
2006VLSIDCAD Tools for a Globally Asynchronous Locally Synchronous FPGA Architecture.Xin Jia, Ranga Vemuri
2005ASPDACAn error-driven adaptive grid refinement algorithm for automatic generation of analog circuit performance macromodels.Mengmeng Ding, Glenn Wolfe, Ranga Vemuri
2005ASPDACUsing GALS architecture to reduce the impact of long wire delay on FPGA performance.Xin Jia, Ranga Vemuri
2005ASPDACEfficient symbolic sensitivity analysis of analog circuits using element-coefficient diagrams.Huiying Yang, Mukesh Ranjan, Wim Verhaegen, Mengmeng Ding, Ranga Vemuri, Georges G. E. Gielen
2005DACA combined feasibility and performance macromodel for analog circuits.Mengmeng Ding, Ranga Vemuri
2005DATEMulti-Placement Structures for Fast and Optimized Placement in Analog Circuit Synthesis.Raoul F. Badaoui, Ranga Vemuri
2005DATEInductive and Capacitive Coupling Aware Routing Methodology Driven by a Higher Order RLCK Moment Metric.Amitava Bhaduri, Ranga Vemuri
2005DATEA Two-Level Modeling Approach to Analog Circuit Performance Macromodeling.Mengmeng Ding, Ranga Vemuri
2005DATEAn Iterative Algorithm for Battery-Aware Task Scheduling on Portable Computing Platforms.Jawad Khan, Ranga Vemuri
2005FCCMThe GAPLA: A Globally Asynchronous Locally Synchronous FPGA Architecture.Xin Jia, Ranga Vemuri
2005FPLPAHLS: Towards Run-Time Synthesis for FPGAs.Renqiu Huang, Ranga Vemuri
2005FPLA Novel Asynchronous FPGA Architecture Design and Its Performance Evaluation.Xin Jia, Ranga Vemuri
2005FPLEnergy Management in Battery-Powered Sensor Networks with Reconfigurable Computing Nodes.Jawad Khan, Ranga Vemuri
2005ICCADHierarchical performance macromodels of feasible regions for synthesis of analog and RF circuits.Anuradha Agarwal, Ranga Vemuri
2005ICCDLayout-Aware RF Circuit Synthesis Driven by Worst Case Parasitic Corners.Anuradha Agarwal, Ranga Vemuri
2005ISCASAnalog VLSI circuit-level synthesis using multi-placement structures.Raoul F. Badaoui, Ranga Vemuri
2005VLSIDAn Active Learning Scheme Using Support Vector Machines for Analog Circuit Feasibility Classification.Mengmeng Ding, Ranga Vemuri
2005VLSIDOn-Line Synthesis for Partially Reconfigurable FPGAs.Renqiu Huang, Ranga Vemuri
2005VLSIDOn Physical-Aware Synthesis of Vertically Integrated 3D Systems.Madhubanti Mukherjee, Ranga Vemuri
2004DACFast and accurate parasitic capacitance models for layout-aware.Anuradha Agarwal, Hemanth Sampath, Veena Yelamanchili, Ranga Vemuri
2004DACAn efficient algorithm for finding empty space for online FPGA placement.Manish Handa, Ranga Vemuri
2004DATEAccurate Estimation of Parasitic Capacitances in Analog Circuits.Anuradha Agarwal, Hemanth Sampath, Veena Yelamanchili, Ranga Vemuri
2004DATEA Fast Algorithm for Finding Maximal Empty Rectangles for Dynamic FPGA Placement.Manish Handa, Ranga Vemuri
2004DATEFast, Layout-Inclusive Analog Circuit Synthesis using Pre-Compiled Parasitic-Aware Symbolic Performance Models.Mukesh Ranjan, Wim Verhaegen, Anuradha Agarwal, Hemanth Sampath, Ranga Vemuri, Georges G. E. Gielen
2004FPLAn Integrated Online Scheduling and Placement Methodology.Manish Handa, Ranga Vemuri
2004FPLAnalysis of a Hybrid Interconnect Architecture for Dynamically Reconfigurable FPGAs.Renqiu Huang, Manish Handa, Ranga Vemuri
2004FPLA Dynamically Reconfigurable Asynchronous FPGA Architecture.Xin Jia, Jayanthi Rajagopalan, Ranga Vemuri
2004FPLAn Efficient Battery-Aware Task Scheduling Methodology for Portable RC Platforms.Jawad Khan, Ranga Vemuri
2004ICCADAnalysis and evaluation of a hybrid interconnect structure for FPGAs.Renqiu Huang, Ranga Vemuri
2004ICCADAdaptive sampling and modeling of analog circuit performance parameters with pseudo-cubic splines.Ranga Vemuri, Glenn Wolfe
2004ICCDSimultaneous Scheduling, Binding and Layer Assignment for Synthesis of Vertically Integrated 3D Systems.Madhubanti Mukherjee, Ranga Vemuri
2003ICCDA Novel Synthesis Strategy Driven by Partial Evaluation Based Circuit Reduction for Application Specific DSP Circuits.Madhubanti Mukherjee, Ranga Vemuri
2003VLSIDA Fast Macro Based Compilation Methodology for Partially Reconfigurable FPGA Designs.Manish Handa, Rajesh Radhakrishnan, Madhubanti Mukherjee, Ranga Vemuri
2002DATEA Functional Specification Notation for Co-Design of Mixed Analog-Digital Systems.Alex Doboli, Ranga Vemuri
2002FPLiPACE-V1: A Portable Adaptive Computing Engine for Real Time Applications.Jawad Khan, Manish Handa, Ranga Vemuri
2002VLSIDFramework for Synthesis of Virtual Pipelines.Srinivasan Dasasathyan, Rajesh Radhakrishnan, Ranga Vemuri
2001DACIntegrated High-Level Synthesis and Power-Net Routing for Digital Design under Switching Noise Constraints.Alex Doboli, Ranga Vemuri
2001DACBehavioral Partitioning in the Synthesis of Mixed Analog-Digital Systems.Sree Ganesan, Ranga Vemuri
2001DATEA regularity-based hierarchical symbolic analysis method for large-scale analog networks.Alex Doboli, Ranga Vemuri
2001DATEHierarchical memory mapping during synthesis in FPGA-based reconfigurable computers.Iyad Ouaiss, Ranga Vemuri
2001DATEOn the verification of synthesized designs using automatically generated transformational witnesses.Elena Teica, Rajesh Radhakrishnan, Ranga Vemuri
2001FPLMemory Synthesis for FPGA-Based Reconfigurable Computers.Amit Kasat, Iyad Ouaiss, Ranga Vemuri
2001ISCASHierarchical performance optimization for synthesis of linear analog systems.Alex Doboli, Ranga Vemuri
2001VLSIDLibrary Binding for High-Level Synthesis of Analog Systems.Sree Ganesan, Ranga Vemuri
2001VLSIDApplication Specific Macro Based Synthesis.Sujatha Sundararaman, Sriram Govindarajan, Ranga Vemuri
2000DATETechnology Mapping and Retargeting for Field-Programmable Analog Arrays.Sree Ganesan, Ranga Vemuri
2000DATEAn Integrated Temporal Partitioning and Partial Reconfiguration Technique for Design Latency Improvement.Satish Ganesan, Ranga Vemuri
2000DATEImproving the Schedule Quality of Static-List Time-Constrained Scheduling.Sriram Govindarajan, Ranga Vemuri
2000DATEEfficient Resource Arbitration in Reconfigurable Computing Environments.Iyad Ouaiss, Ranga Vemuri
2000FPLTightly Integrated Design Space Exploration with Spatial and Temporal Partitioning in SPARCS.Sriram Govindarajan, Ranga Vemuri
2000ISCASA heuristic technique for system-level architecture generation from signal-flow graph representations of analog systems.Alex Doboli, Nagu R. Dhanwada, Ranga Vemuri
2000ISCASScheduling for low power under resource and latency constraints.Srinivas Katkoori, Ranga Vemuri
2000VLSIDFormal Verification of Synthesized Mixed Signal Designs Using *BMDs.Abhijit Ghosh, Ranga Vemuri
2000VLSIDA Technique for Dynamic High-Level Exploration During Behavioral-Partitioning for Multi-Device Architectures.Sriram Govindarajan, Vinoo Srinivasan, Preetham Lakshmikanthan, Ranga Vemuri
1999ASPDACAutomatic Constraint Transformation with Integrated Parameter Space Exploration in Analog System Synthesis.Nagu R. Dhanwada, Adrin Nez-Aldana, Ranga Vemuri
1999DACBehavioral Synthesis of Analog Systems Using Two-layered Design Space Exploration.Alex Doboli, Adrin Nez-Aldana, Nagu R. Dhanwada, Sree Ganesan, Ranga Vemuri
1999DACAn Automated Temporal Partitioning and Loop Fission Approach for FPGA Based Reconfigurable Synthesis of DSP Applications.Meenakshi Kaul, Ranga Vemuri, Sriram Govindarajan, Iyad Ouaiss
1999DATEHierarchical Constraint Transformation Using Directed Interval Search for Analog System Synthesis.Nagu R. Dhanwada, Adrin Nez-Aldana, Ranga Vemuri
1999DATEA VHDL-AMS Compiler and Architecture Generator for Behavioral Synthesis of Analog Systems.Alex Doboli, Ranga Vemuri
1999DATETemporal Partitioning combined with Design Space Exploration for Latency Minimization of Run-Time Reconfigured Designs.Meenakshi Kaul, Ranga Vemuri
1999DATEAccounting for Various Register Allocation Schemes During Post-Synthesis Verification of RTL Designs.Nazanin Mansouri, Ranga Vemuri
1999DATEAn Analog Performance Estimator for Improving the Effectiveness of CMOS Analog Systems Circuit Synthesis.Adrin Nez-Aldana, Ranga Vemuri
1999FCCMTask-Level Partitioning and RTL Design Space Exploration for Multi-FPGA Architectures.Vinoo Srinivasan, Ranga Vemuri
1999FPGAThroughput Optimization with Design Space Exploration During Partitioning for Multi-FPGA Architectures.Vinoo Srinivasan, Ranga Vemuri
1999FPLHardware-Software Codesign for Dynamically Reconfigurable Architectures.Karam S. Chatha, Ranga Vemuri
1999ICCDA Methodology for Rapid Prototyping of Analog Systems.Sree Ganesan, Ranga Vemuri
1999ICCDFormal Verification of Synthesized Analog Designs.Abhijit Ghosh, Ranga Vemuri
1999ISCASA genetic approach to simultaneous parameter space exploration and constraint transformation in analog synthesis.Nagu R. Dhanwada, Adrin Nez-Aldana, Ranga Vemuri
1999VLSIDComponent Characterization and Constraint Transformation Based on Directed Intervals for Analog Synthesis.Nagu R. Dhanwada, Adrin Nez-Aldana, Ranga Vemuri
1999VLSIDFAAR: A Router for Field-Programmable Analog Arrays.Sree Ganesan, Ranga Vemuri
1999RSPAn Iterative Algorithm for Partitioning and Scheduling of Area Constrained HW-SW Systems.Karam S. Chatha, Ranga Vemuri
1998DATEOptimal Temporal Partitioning and Synthesis for Reconfigurable Architectures.Meenakshi Kaul, Ranga Vemuri
1998DATEHardware Software Partitioning with Integrated Hardware Design Space Exploration.Vinoo Srinivasan, Shankar Radhakrishnan, Ranga Vemuri
1998FCCMAn Effective Design System for Dynamically Reconfigurable Architectures.Sriram Govindarajan, Iyad Ouaiss, Meenakshi Kaul, Vinoo Srinivasan, Ranga Vemuri
1998FMCADA Methodology for Automated Verification of Synthesized RTL Designs and Its Integration with a High-Level Synthesis Tool.Nazanin Mansouri, Ranga Vemuri
1998ICCDTheorem proving guided development of formal assertions in a resource-constrained scheduler for high-level synthesis.Naren Narasimhan, Elena Teica, Rajesh Radhakrishnan, Sriram Govindarajan, Ranga Vemuri
1998ICCDAutomatic data path abstraction for verification of large scale designs.Viresh Paruthi, Nazanin Mansouri, Ranga Vemuri
1998VLSIDConstraint Allocation in Analog System Synthesis.Nagu R. Dhanwada, Ranga Vemuri
1998VLSIDA Retiming Based Relaxation Heuristic for Resource-Constrained Loop Pipelining.Vinoo Srinivasan, Ranga Vemuri
1998RSPPerformance Evaluation Tool for Rapid Prototyping of Hardware-Software Codesigns.Karam S. Chatha, Ranga Vemuri
1997ASPDACA constructive method for data path area estimation during high-level VLSI synthesis.Natesan Venkateswaran, Anurag Gupta, Srinivas Katkoori, Dinesh Bhatia, Ranga Vemuri
1997DACSymbolic Evaluation of Performance Models for Tradeoff Visualization.Jeffrey Walrath, Ranga Vemuri
1997DATECone-based clustering heuristic for list-scheduling algorithms.Sriram Govindarajan, Ranga Vemuri
1997DATEPerformance verification using partial evaluation and interval analysis.Jeffrey Walrath, Ranga Vemuri, W. Bradley
1997ICCDDynamic Bounding of Successor Force Computations in the Force Directed List Scheduling Algorithms.Sriram Govindarajan, Ranga Vemuri
1997VLSIDResource Constrained RTL Partitioning for Synthesis of Multi-FPGA Designs.Madhavi Vootukuru, Ranga Vemuri, Nand Kumar
1996FMCADSpecification of Control Flow Properties for Verification of Synthesized VHDL Designs.Naren Narasimhan, Ranga Vemuri
1996ISLPEDSimulation based architectural power estimation for PLA-based controllers.Srinivas Katkoori, Ranga Vemuri
1996VLSIDA Hierarchical Register Optimization Algorithm for Behavioral Synthesis.Srinivas Katkoori, Ranga Vemuri, Jay Roy
1996VLSIDSynchronous Controller Models for Synthesis from Communicating VHDL Processes.Naren Narasimhan, Ranga Vemuri, Jay Roy
1995ICCDHigh level profiling based low power synthesis technique.Srinivas Katkoori, Nand Kumar, Ranga Vemuri
1995VLSIDTransformations for functional verification of synthesized designs.William L. Bradley, Ranga Vemuri
1993DACPerformance Specification Using Attributed Grammars.Ram Mandayam, Ranga Vemuri
1993DACExperiences in Functional Validation of a High Level Synthesis System.Ranga Vemuri, Paddy Mamtora, Praveen Sinha, Nand Kumar, Jayanta Roy, Raghu Vutukuru
1992DACDistributed Design-Space Exploration for High-Level Synthesis Systems.Rajiv Dutta, Jayanta Roy, Ranga Vemuri
1991CAVTemporal Precondition Verification of Design Transformations.Ranga Vemuri, Anuradha Sridhar
1986MICROData flow graph partitioning to reduce communication cost.Cris Koutsougeras, Christos A. Papachristou, Ranga Vemuri
1978COMPSACContinuing education in microprocessors: Use of software simulators.Ranga Vemuri, J. V. Cornacchio