6. FMCAD 2006:
San Jose,
California,
USA
Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings.
IEEE Computer Society 2006, ISBN 0-7695-2707-8 BibTeX
Hardware Verification
- Tilman Glökler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler:
Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning.
3-10
Electronic Edition (link) BibTeX
- Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna:
Post-reboot Equivalence and Compositional Verification of Hardware.
11-18
Electronic Edition (link) BibTeX
- Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary:
Synchronous Elastic Networks.
19-30
Electronic Edition (link) BibTeX
SAT-Based Methods
Software Verification
Model Checking
Automata Theoretic Methods
Theorem Proving
Testing and Verification Applications
- C. Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy:
Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip.
171-178
Electronic Edition (link) BibTeX
- Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu:
Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands.
179-186
Electronic Edition (link) BibTeX
- Haja Moinudeen, Ali Habibi, Sofiène Tahar:
Design for Verification of the PCI-X Bus.
187-188
Electronic Edition (link) BibTeX
- Abu Nasser M. Abdullah, Behzad Akbarpour, Sofiène Tahar:
Formal Analysis and Verification of an OFDM Modem Design using HOL.
189-190
Electronic Edition (link) BibTeX
- Julien Schmaltz:
A Formal Model of Lower System Layers.
191-192
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:12:17 2009
by Michael Ley (ley@uni-trier.de)
