Ravi Tangirala

  • Citations Per Year
Learn More
Algorithmic techniques are proposed to synthesize design verification programs for high level data path designs that target design defects as well as manufacturing defects. Some categories of design defects are identified. A methodology, based on localized checking experiments, is proposed to synthesize state machine controllers in data path designs that(More)
The objective of this study was to examine and rank the Small Overlap Frontal Crash as one of the eight-group taxonomy proposed by Ford. The Ford taxonomy classifies real-world frontal-impact crashes based on the National Automotive Sampling System (NASS). Frontally-impacted vehicles were identified for 1985 - 2008 model year passenger vehicles with(More)
  • 1