Search the dblp DataBase

Publications of Author

1. Ashish Darbari
   Symmetry Reduction for STE Model Checking. [Citation Graph (0, 0)][DBLP]
   FMCAD, 2006, pp:97-105 [Conf]
   
2. 
   Selective state retention design using symbolic simulation. [Citation Graph (, )][DBLP]
   
   
3. 
   Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking. [Citation Graph (, )][DBLP]
   
   
4. 
   A New Approach for Transient Fault Injection Using Symbolic Simulation. [Citation Graph (, )][DBLP]
   
   
5. 
   Hardware Dependability in the Presence of Soft Errors. [Citation Graph (, )][DBLP]
   
   
6. 
   Industrial-Strength Formally Certified SAT Solving [Citation Graph (, )][DBLP]