Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems (DTVCS 2008)

Special Session in the IASTED International Conference on Circuits and Systems (CS 2008)

The IASTED International Conference on Circuits and Systems (CS 2008) will take place in Kailua-Kona, Hawaii, USA, August 18-20, 2008.

URL: http://www.iasted.org/conferences/cfp-625.html.

Aims and Scope

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 for integrated circuits and systems. Contributions on UML and formal paradigms based on process algebras, Petri-nets, automaton theory and BDDs in the context of design, testing and formal verification techniques for integrated circuits and systems are also encouraged.

Topics

Topics of interest include, but are not limited to, the following:

• digital, analog, mixed-signal and RF test
• built-in self test
• ATPG
• theory and foundations: model checking, SAT-based methods, use of PSL, compositional methods and probabilistic methods
• applications of formal methods: equivalence checking, CSP applications and transaction-level verification
• verification through hybrid techniques
• verification methods based on hardware description/system-level languages (e.g. VHDL, SystemVerilog and SystemC)
• testing and verification applications: tools, industrial experience reports and case studies

Industrial Collaborators and Sponsors

This special session is partnered with:

1. CEOL: Centre for Efficiency-Oriented Languages "Towards improved software timing", University College Cork, Ireland (http://www.ceol.ucc.ie)
2. International Software and Productivity Engineering Institute, USA (http://www.intspei.com)
3. Intelligent Support Ltd., United Kingdom (http://www.isupport-ltd.co.uk)
4. Minteos, Italy (http://www.minteos.com)
5. M.O.S.T., Italy (http://www.most.it)
6. Electronic Center, Italy (http://www.el-center.com)
7. Legalefiscale - Tax & Commercial Law Firm, Italy (http://www.legalefiscale.it)

This special session is sponsored by:

1. LS Industrial Systems, South Korea (http://eng.lsis.biz)
2. Solari, Hong Kong (http://www.solari-hk.com/)

Organiser - Chairman

Dr. Ka Lok Man, University College Cork, Ireland (Ka Lok Man)

Technical Program Committee

• Prof. Vladimir Hahanov, Kharkov National University of Radio Electronics, Ukraine (Vladimir Hahanov)
• Prof. Paolo Prinetto, Politecnico di Torino, Italy (Paolo Prinetto)
• Prof. Alberto Macii, Politecnico di Torino, Italy (Alberto Macii)
• Prof. Joongho Choi, University of Seoul, South Korea
• Prof. Wei Li, Fudan University, China (Wei Li)
• Prof. Michel Schellekens, University College Cork, Ireland (Michel Schellekens)
• Prof. Franco Fummi, University of Verona, Italy (Franco Fummi)
• Prof. Jun-Dong Cho, Sung Kyun Kwan University, South Korea (Jun-Dong Cho)
• Prof. AHM Zahirul Alam, International Islamic University Malaysia, Malaysia (AHM Zahirul Alam)
• Dr. Emanuel Popovici, University College Cork, Ireland (Emanuel Popovici)
• Dr. Jong-Kug Seon, System LSI Lab., LS Industrial Systems R&D Center, South Korea
• Dr. Umberto Rossi, STMicroelectronics, Italy
• Dr. Graziano Pravadelli, University of Verona, Italy (Graziano Pravadelli)
• Dr. Vladimir Pavlov, International Software and Productivity Engineering Institute, USA
• Dr. Jinfeng Huang, Philips & LiteOn Digital Solutions Netherlands, Advanced Research Centre, The Netherlands
• Dr. Thierry Vallee, Georgia Southern University, Statesboro, Georgia, USA
• Dr. Menouer Boubekeur, University College Cork, Ireland
• Dr. Ana Sokolova, University of Salzburg, Austria
• Dr. Sergio Almerares, STMicroelectronics, Italy
• Ajay Patel (Director), Intelligent Support Ltd, United Kingdom
• Monica Donno (Director), Minteos, Italy
• Alessandro Carlo (Manager), Research and Development Centre of FIAT, Italy
• Yui Fai Lam (Manager), Microsystems Packaging Institute, Hong Kong University of Science and Technology, Hong Kong
• Prof. Gregory Provan, University College Cork, Ireland
• Dr. Miroslav N. Velev, University of Illinois at Chicago, USA (Miroslav N. Velev)



Organising Chairs

• Maria O'Keeffe, University College Cork, Ireland
• Michele Mercaldi, M.O.S.T., Italy



Submission Guidelines

Please visit the web-site of CS 2008 (http://www.iasted.org/conferences/cfp-625.html) for further information on submission guidelines, proceedings and publications.

Please note that expanded and enhanced versions of papers published in the conference proceedings can also be considered for inclusion in one of the IASTED journals, one of the IAENG journals, the IIUM Engineering Journal or the IBSU Scientific Journal.



Enquiries and Paper Submissions

Please direct all enquiries and paper submissions to ss.dtvcs@gmail.com.



Important Deadlines

Submissions due	May 1, 2008
Notification of acceptance	May 15, 2008
Final manuscripts due	June 1, 2008
Registration deadline	June 15, 2008