Follow
Kavita Ravi
Kavita Ravi
Managing Director, BlueWave Solar
Verified email at bluewavesolar.com
Title
Cited by
Cited by
Year
High-density reachability analysis
K Ravi, F Somenzi
Proceedings of IEEE International Conference on Computer Aided Design (ICCAD …, 1995
2291995
Minimal assignments for bounded model checking
K Ravi, F Somenzi
International Conference on Tools and Algorithms for the Construction and …, 2004
1662004
Efficient decision procedures for model checking of linear time logic properties
R Bloem, K Ravi, F Somenzi
Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999
1161999
To split or to conjoin: The question in image computation
IH Moon, JH Kukula, K Ravi, F Somenzi
Proceedings of the 37th Annual Design Automation Conference, 23-28, 2000
1122000
A comparative study of symbolic algorithms for the computation of fair cycles
K Ravi, R Bloem, F Somenzi
International Conference on Formal Methods in Computer-Aided Design, 162-179, 2000
1012000
Symbolic guided search for CTL model checking
R Bloem, K Ravi, F Somenzi
Proceedings of the 37th Annual Design Automation Conference, 29-34, 2000
942000
Approximation and decomposition of binary decision diagrams
K Ravi, KL McMillan, TR Shiple, F Somenzi
Proceedings of the 35th Annual Design Automation Conference, 445-450, 1998
931998
Fate and Free Will in Error Traces
HS Jin, K Ravi, F Somenzi
International Conference on Tools and Algorithms for the Construction and …, 2002
832002
Hints to accelerate symbolic traversal
K Ravi, F Somenzi
Advanced Research Working Conference on Correct Hardware Design and …, 1999
751999
Fate and free will in error traces
HS Jin, K Ravi, F Somenzi
International Journal on Software Tools for Technology Transfer 6, 102-116, 2004
412004
Analysis of symbolic SCC hull algorithms
F Somenzi, K Ravi, R Bloem
International Conference on Formal Methods in Computer-Aided Design, 88-105, 2002
332002
A hybrid algorithm for LTL games
S Sohail, F Somenzi, K Ravi
International Workshop on Verification, Model Checking, and Abstract …, 2008
262008
Efficient fixpoint computation for invariant checking
K Ravi, F Somenzi
Proceedings 1999 IEEE International Conference on Computer Design: VLSI in …, 1999
201999
Approximate finite state machine traversal: Extensions and new results
H Cho, G Hachtel, E Macii, M Poncino, K Ravi, F Somenzi
International Workshop on Logic Synthesis, 1995
191995
Method and system for partitioning an integrated circuit design
M Chopra, X Du, RH Hardin, A Jain, RP Kurshan, P Mahajan, R Prakash, ...
US Patent 7,047,510, 2006
182006
Modular verification of multipliers
K Ravi, A Pardo, GD Hachtel, F Somenzi
Formal Methods in Computer-Aided Design: First International Conference …, 1996
181996
Application of Formal Word-Level Analysis to Constrained Random Simulation: Tool Paper
H Kim, H Jin, K Ravi, P Spacek, J Pierce, B Kurshan, F Somenzi
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
172008
Divide and compose: SCC refinement for language emptiness
C Wang, R Bloem, GD Hachtel, K Ravi, F Somenzi
CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001
152001
Approximation and decomposition of decision diagrams
K Ravi, KL McMillan, TR Shiple, F Somenzi
Proceedings of the Design Automation Conference, 445-450, 0
14
Coverage metric and coverage computation for verification based on design partitions
X Du, RP Kurshan, K Ravi
US Patent 7,181,708, 2007
112007
The system can't perform the operation now. Try again later.
Articles 1–20