DATICS 2008 Call for Papers

DATICS (Design, Analysis and Tools for Integrated Circuits and Systems) 2008 has issued a call for papers. The main goal of the Special Session: DATICS 2008 is to bring together software/hardware engineering researchers, computer scientists, practitioners and people from industry to exchange theories, ideas, techniques and experiences related to all areas of design, analysis and tools for integrated circuits (e.g. digital, analog and mixed-signal circuits) and systems (e.g. real-time, hybrid and embedded systems). The special session also focuses on the field of formal methods and low power design methodologies for integrated circuits.

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

  • Digital, analog, mixed-signal designs and test
  • RF design and test
  • Design-for-testability and built-in self test methodologies
  • Reconfigurable system design
  • High-level synthesis
  • EDA tools for design, testing and verification
  • Low power design methodologies
  • Network and system on-a-chip
  • Application-specific SoCs
  • Specification languages: SystemC, SystemVerilog and UML
  • All areas of modelling, simulation and verification
  • Formal methods and formalisms (e.g. process algebras, petri-nets, automaton theory and BDDs)
  • Real-time, hybrid and embedded systems
  • Software engineering (including real-time Java, real-time UML and performance metrics)

The deadline for submission of completed papers is March 31, 2008.

July 22-24, 2008 (Crete Island, Greece)