Rahul Razdan

According to our database, Rahul Razdan authored at least 19 papers between 1986 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

PolyVerif: An Open-Source Environment for Autonomous Vehicle Validation and Verification Research Acceleration.

Rahul Razdan, Mustafa Ilhan Akbas, Raivo Sell, Mauro Bellone, Mahesh Menase, Mohsen Malayjerdi

IEEE Access, 2023

Demo: Modular Test Frameworks for PolyVerif Autonomous Vehicle Validation Environment.

Mustafa Ilhan Akbas, Mahesh Menase, Rahul Razdan

Proceedings of the 48th IEEE Conference on Local Computer Networks, 2023

2021

An Overview of Autonomous Vehicles Sensors and Their Vulnerability to Weather Conditions.

Jorge Vargas, Suleiman Alsweiss, Onur Toker, Rahul Razdan, Joshua Santos

Sensors, 2021

2018

Conceptual Sensors Testing Framework for Autonomous Vehicles.

Michael Jernigan, Suleiman Alsweiss, James Cathcart, Rahul Razdan

Proceedings of the 2018 IEEE Vehicular Networking Conference, 2018

2009

Empirical results from the transformation of a large commercial technical computing environment.

Rahul Razdan, Steve Esposito, Jay Lawrence, Peter Conner

Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, 2009

Future Directions in Reconfigurable Computing.

Rahul Razdan

Proceedings of the 2009 International Conference on Engineering of Reconfigurable Systems & Algorithms, 2009

EDA in flux: should I stay or should I go?

Eshel Haritan, Andreas Kuehlmann, Tina Jones, John Epperheimer, Jan M. Rabaey, Rahul Razdan, Naveen Gupta

Proceedings of the 46th Design Automation Conference, 2009

1999

Verification of Systems-on-Chip Designs.

Rahul Razdan, Apurva Kalia, Manu Lauria

Proceedings of the 12th International Conference on VLSI Design (VLSI Design 1999), 1999

1997

Formal Implementation Verification of the Bus Interface Unit for the Alpha 21264 Microprocessor.

Gabriel P. Bischoff, Karl S. Brace, Samir Jain, Rahul Razdan

Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

The Alpha 21264: a 500 MHz out-of-order execution microprocessor.

Daniel L. Leibholz, Rahul Razdan

Proceedings of the Proceedings IEEE COMPCON 97, 1997

1994

A high-performance microarchitecture with hardware-programmable functional units.

Rahul Razdan, Michael D. Smith

Proceedings of the 27th Annual International Symposium on Microarchitecture, San Jose, California, USA, November 30, 1994

PRISC Software Acceleration Techniques.

Rahul Razdan, Karl S. Brace, Michael D. Smith

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

1993

Clock suppression techniques for synchronous circuits.

Rahul Razdan, Gabriel P. Bischoff, Ernst G. Ulrich

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993

1991

Automatic Detection of MOS Synchronizers for Timing Verification.

Joel Grodstein, Nick Rethman, Rahul Razdan, Gabriel P. Bischoff

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991

Concurrent MIN-MAX simulation.

Ernst G. Ulrich, Karen Panetta Lentz, Stephen R. Demba, Rahul Razdan

Proceedings of the conference on European design automation, 1991

1990

A global feedback detection algorithm for VLSI circuits.

H.-C. Shih, Predrag G. Kovijanic, Rahul Razdan

Proceedings of the 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1990

Exploitation of Periodicity in Logic Simulation of Synchronous Circuits.

Rahul Razdan, Gabriel P. Bischoff, Ernst G. Ulrich

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 1990

1989

An Interactive Sequential Test Pattern Generation System.

Rahul Razdan, M. Anwaruddin, Predrag G. Kovijanic, R. Ganesh, H.-C. Shih

Proceedings of the Proceedings International Test Conference 1989, 1989

1986

A Statistical Design Rule Developer.

Rahul Razdan, Andrzej J. Strojwas

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1986