Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems August 16, 2008

The main target of the Special Session DTVCS is to bring together engineering researchers, computer scientists, practitioners and people from industry to exchange theories, ideas, techniques and experiences related to the areas of design, testing and formal verification techniques.

Official Website: http://digilander.libero.it/systemcfl/dtvcs