P. Chauhan, D. Kroening, E. M. Clarke, A SAT Based Algorithm
for Reparameterization in Symbolic Simulation, Technical Report
CMU-CS-03-191, Carnegie Mellon University, School of
Computer Science, November, 2003.(pdf, ps.gz)
A shorter version of this paper appears in DAC, 2004 (pdf, ps.gz).
The copyright of the DAC paper rests with ACM, and they'd like
me to display the following notice.
P. Chauhan, E. M. Clarke, D. Kroening, Using SAT Based Image
Computation for Reachability Analysis, Technical Report
CMU-CS-03-151, Carnegie Mellon University, School of
Computer Science, July, 2003.(pdf, ps.gz)
P. Chauhan, E. M. Clarke, S. Sapra, J. Kukula, H. Veith,
D. Wang, Automated Abstraction Refinement for Model Checking
Large State Spaces using SAT based Conflict Analysis,
FMCAD 2002, pp. 33-51.(pdf,
ps.gz)
P. Chauhan, E. M. Clarke, S. Jha, J. Kukula, T. Shiple,
H. Veith, D. Wang, Non-linear quantification scheduling for
efficient image computation, ICCAD 2001, pp. 293-298. (pdf,
ps.gz)
P. Chauhan, E. M. Clarke, S. Jha, J. Kukula, H. Veith,
D. Wang, Using Combinatorial Optimization Algorithms for
Efficient Image Computation, CHARME 2001, pp. 293-309.(pdf,
ps.gz)
R. Bryant, P. Chauhan, E. Clarke, A. Goel, A Theory of
Consistency for Modular Synchronous Systems, FMCAD
2000, pp. 486-504.(pdf,
ps.gz)
P. Chauhan, P. Dasgupta, P.P. Chakraborty, Exploiting Graph
Isomorphism for BDD Compaction and Faster Simulation,
Proceedings of the International VLSI conference, '99, Goa,
India.
P. Chauhan, E. Clarke, Y. Lu, D. Wang, Verifying IP-Core Based
System-On-Chip Designs, IEEE International Conference on
ASIC/SOC, pp. 27-31, September, 1999.
(pdf,
ps.gz)
"© ACM, (2004). This is the author's version of the work. It is
posted here by permission of ACM for your personal use. Not for
redistribution. The definitive version was published in
Proceedings of 41st Design Automation Conference, {VOL#, ISS#,
(June, 2004)}