Introducing and analyzing some representative design automation systems of embedded systems. They are Cool Cosyma SpecSyn Chinook Polis and Corsair.

• 介绍和分析了具有代表性的嵌入式系统设计自动化系统，如Cool、Cosyma、SpecSyn、Chinook、Polis和Corsair等。