- Hamid Savoj, David Berthelot, Alan Mishchenko, Robert K. Brayton:
Combinational techniques for sequential equivalence checking. FMCAD 2010: 145-149 - Jun Sawada:
Automatic verification of estimate functions with polynomials of bounded functions. FMCAD 2010: 151-158 - Lopamudra Sen, Amit Roy, Supriya Bhattacharjee, Bijitendra Mittra, Subir K. Roy:
DFT logic verification through property based formal methods - SOC to IP. FMCAD 2010: 33 - ShengYu Shen, Ying Qin, Jianmin Zhang, Sikun Li:
A halting algorithm to determine the existence of decoder. FMCAD 2010: 91-99 - Michael Siegel:
Achieving earlier verification closure using advanced formal verification. FMCAD 2010: 275 - Joseph Sifakis:
Embedded systems design - Scientific challenges and work directions. FMCAD 2010: 11 - Nishant Sinha:
Modular bug detection with inertial refinement. FMCAD 2010: 199-206 - Joakim Urdahl, Dominik Stoffel, Jörg Bormann, Markus Wedler, Wolfgang Kunz:
Path predicate abstraction by complete interval property checking. FMCAD 2010: 207-215 - Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura:
Efficiently solving quantified bit-vector formulas. FMCAD 2010: 239-246 - Roderick Bloem, Natasha Sharygina:
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23. IEEE 2010, ISBN 978-1-4577-0734-6 [contents]