... Selected papers

Copyright notice:
The documents distributed by this server have been provided by the authors as a mean to ensure timely dissemination of technical work on a non-commercial basis. Personal use of this material is permitted. However,  copyright and all rights therein are maintained by the authors or by the other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that everyone copying this information will adhere to the terms and constraints invoked by each author's copyright. In particular, these works may not be re-posted without the explicit permission of the copyright holder.

• G. Cabodi, P. Camurati, C. Passerone, S. Quer,
  
``Computing Timed Transition Relations for sequential cycle-based simulation''
DATE'99: IEEE Design Automation and Test in Europe, Munich, Germany, March 1999, pp. 8-12
date1999.ps.gz, date1999.ps
 
• G. Cabodi, P. Camurati, S. Quer,
  
``Improving Symbolic Traversals by means of Activity Profiles''
DAC'36: 36st ACM/IEEE Design Automation Conference, New Orleans, Louisiana, June 1999, pp. 306-311
dac1999a.ps.gz, dac1999a.ps
 
• V. Bertacco, M. Damiani, S. Quer,
  
``Cycle-based Symbolic Simulation of Synchronous Circuits''
DAC'36: 36st ACM/IEEE Design Automation Conference, New Orleans, Louisiana, June 1999, pp.391-396
dac1999b.ps.gz, dac1999b.ps
 
• G. Cabodi, P. Camurati, S. Quer,
  
``Improving Symbolic Reachability Analysis by means of Activity Profiles''
IEEE Transactions on Computer Aided Design, Vol. 19, No. 9, pp. 1065-1075, September 2000
tcad2000.ps.gz, tcad2000.ps
 
• G. Cabodi, P. Camurati, S. Quer,
  
``Can BDDs compete with SAT solvers on Bounded Model Checking?''
DAC'39: 39st ACM/IEEE Design Automation Conference, New Orleans, Louisiana, June 2002
dac2002.ps.gz, dac2002.ps
 
• G. Cabodi, S. Nocco, S. Quer,
  
``Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification  an BDDs compete with SAT solvers on Bounded Model Checking?''
CAV '02:  Computer-Aided Verification Conference, Copenhagen, Denmark, July 2002
cav2002.ps.gz, cav2002.ps

Back to Stefano Quer's Home Page