System on Chip technology will reshape common design practice. The pressure to create a working System on Chip design as early as possible leads designers to consider using a platform based design method, called a system integration platform. In this design methodology, a system is built from intellectual property blocks in a plug and play environment. By using this approach, designing an appli...

This industrial panel is organized to discuss the views, experiences and opinions of formal methods practitioners from design automation, hardware and software industries, in order to understand the industrial needs and trends in using formal methods. In particular, we discuss the current thrust on application of formal verification in software development, and what hardware formal verification...