Ramin Hojati

15 papers A* 10B 1C 1Journal 2Unranked 1
YearRankTypeTitle / Venue / Authors
2000 J jnl
Environment modeling and language universality.
ACM Trans. Design Autom. Electr. Syst.
Richard Raimi, Ramin Hojati, Kedar S. Namjoshi
1998 A* conf
Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory.
CAV
Adrian J. Isles, Ramin Hojati, Robert K. Brayton
1998 A* conf
Structural Symmetry and Model Checking.
CAV
Gurmeet Singh Manku, Ramin Hojati, Robert K. Brayton
1996 C conf
Early Quantification and Partitioned Transition Relations.
ICCD
Ramin Hojati, Sriram C. Krishnan, Robert K. Brayton
1996 B conf
Verification Using Uninterpreted Functions and Finite Instantiations.
FMCAD
Ramin Hojati, Adrian J. Isles, Desmond Kirkpatrick, Robert K. Brayton
1995 J jnl
An Environment for Formal Verification Based on Symbolic Computations.
Formal Methods Syst. Des.
Ramin Hojati, Robert K. Brayton
1995 A* conf
Automatic Datapath Abstraction In Hardware Systems.
CAV
Ramin Hojati, Robert K. Brayton
1995 — conf
Language containment of non-deterministic
CHARME
Serdar Tasiran, Ramin Hojati, Robert K. Brayton
1994 A* conf
HSIS: A BDD-Based Environment for Formal Verification.
DAC
Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1994 A* conf
Heuristic Minimization of BDDs Using Don't Cares.
DAC
Thomas R. Shiple, Ramin Hojati, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton
1994 A* conf
Improving Language Containment Using Fairness Graphs.
CAV
Ramin Hojati, Robert B. Mueller-Thuns, Robert K. Brayton
1993 A* conf
A Unified Approach to Language Containment and Fair CTL Model Checking.
DAC
Ramin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan
1993 A* conf
BDD-Based Debugging Of Design Using Language Containment and Fair CTL.
CAV
Ramin Hojati, Robert K. Brayton, Robert P. Kurshan
1992 A* conf
Efficient
CAV
Ramin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton
1990 A* conf
Layout Optimization by Pattern Modification.
DAC
Ramin Hojati