Kavita Ravi
Kavita Ravi
Senior 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
2041995
Minimal assignments for bounded model checking
K Ravi, F Somenzi
International Conference on Tools and Algorithms for the Construction and …, 2004
1432004
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
1042000
Efficient decision procedures for model checking of linear time logic properties
R Bloem, K Ravi, F Somenzi
International Conference on Computer Aided Verification, 222-235, 1999
1021999
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
962000
Symbolic guided search for CTL model checking
R Bloem, K Ravi, F Somenzi
Proceedings of the 37th Annual Design Automation Conference, 29-34, 2000
862000
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
861998
Fate and Free Will in Error Traces
HS Jin, K Ravi, F Somenzi
International Conference on Tools and Algorithms for the Construction and …, 2002
702002
Hints to accelerate symbolic traversal
K Ravi, F Somenzi
Advanced Research Working Conference on Correct Hardware Design and …, 1999
671999
Fate and free will in error traces
HS Jin, K Ravi, F Somenzi
International Journal on Software Tools for Technology Transfer 6 (2), 102-116, 2004
342004
Analysis of symbolic SCC hull algorithms
F Somenzi, K Ravi, R Bloem
International Conference on Formal Methods in Computer-Aided Design, 88-105, 2002
322002
A hybrid algorithm for LTL games
S Sohail, F Somenzi, K Ravi
International Workshop on Verification, Model Checking, and Abstract …, 2008
252008
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
Modular verification of multipliers
K Ravi, A Pardo, GD Hachtel, F Somenzi
International Conference on Formal Methods in Computer-Aided Design, 49-63, 1996
171996
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
162006
Efficient fixpoint computation for invariant checking
K Ravi, F Somenzi
Proceedings 1999 IEEE International Conference on Computer Design: VLSI in …, 1999
161999
Divide and compose: SCC refinement for language emptiness
C Wang, R Bloem, GD Hachtel, K Ravi, F Somenzi
International Conference on Concurrency Theory, 456-471, 2001
152001
Application of formal word-level analysis to constrained random simulation
H Kim, H Jin, K Ravi, P Spacek, J Pierce, B Kurshan, F Somenzi
International Conference on Computer Aided Verification, 487-490, 2008
142008
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, 487-490, 2008
14*2008
Compositional SCC analysis for language emptiness
C Wang, R Bloem, GD Hachtel, K Ravi, F Somenzi
Formal Methods in System Design 28 (1), 5-36, 2006
112006
The system can't perform the operation now. Try again later.
Articles 1–20