Ramin Hojati

Publication Activity (10 Years)

Years Active: 1990-2000
Publications (10 Years): 0

Publications

Richard Raimi, Ramin Hojati, Kedar S. Namjoshi
Environment modeling and language universality. ACM Trans. Design Autom. Electr. Syst. 5 (3) (2000)
Gurmeet Singh Manku, Ramin Hojati, Robert K. Brayton
Structural Symmetry and Model Checking. CAV (1998)
Adrian J. Isles, Ramin Hojati, Robert K. Brayton
Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory. CAV (1998)
Ramin Hojati, Adrian J. Isles, Desmond Kirkpatrick, Robert K. Brayton
Verification Using Uninterpreted Functions and Finite Instantiations. FMCAD (1996)
Ramin Hojati, Sriram C. Krishnan, Robert K. Brayton
Early Quantification and Partitioned Transition Relations. ICCD (1996)
Serdar Tasiran, Ramin Hojati, Robert K. Brayton
-automata. CHARME (1995)
Ramin Hojati, Robert K. Brayton
Automatic Datapath Abstraction In Hardware Systems. CAV (1995)
Ramin Hojati, Robert K. Brayton
An Environment for Formal Verification Based on Symbolic Computations. Formal Methods Syst. Des. 6 (2) (1995)
Thomas R. Shiple, Ramin Hojati, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton
Heuristic Minimization of BDDs Using Don't Cares. DAC (1994)
Ramin Hojati, Robert B. Mueller-Thuns, Robert K. Brayton
Improving Language Containment Using Fairness Graphs. CAV (1994)
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
HSIS: A BDD-Based Environment for Formal Verification. DAC (1994)
Ramin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan
A Unified Approach to Language Containment and Fair CTL Model Checking. DAC (1993)
Ramin Hojati, Robert K. Brayton, Robert P. Kurshan
BDD-Based Debugging Of Design Using Language Containment and Fair CTL. CAV (1993)
Ramin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton
-Regular Language Containment. CAV (1992)
Ramin Hojati
Layout Optimization by Pattern Modification. DAC (1990)