1.1. Introducing and analyzing some representative design automation systems of embedded systems. They are Cool Cosyma SpecSyn Chinook Polis and Corsair.
1．介绍和分析了具有代表性的嵌入式系统设计自动化系统，如Cool、Cosyma、SpecSyn、Chinook、Polis和Corsair等。
2.Greek-born Turkish corsair who with his brother Arouj(died1518) ravaged the coasts of Spain, Italy, and Greece.
巴尔巴罗萨希腊裔土耳其海盗，曾与其弟阿鲁依（死于1518年）一起劫掠过西班牙、意大利和希腊海岸
