{"title":"系统设计的形式化模型(对硬件和软件之间主要角色的交换提出挑战,并将其转移到系统包装中)","authors":"I. E. Ivanov, V. Georgiev","doi":"10.1109/ISSE.2004.1490879","DOIUrl":null,"url":null,"abstract":"This paper envisages main trends in systems design. Observation over and comparison between paradigms in software and hardware design is presented. Finally the paper focuses on three of most popular and important hardware design languages VHDL, SDL and SystemC. A special stress is done on how do they work outside hardware design and how they do package software and hardware in one device.","PeriodicalId":342004,"journal":{"name":"27th International Spring Seminar on Electronics Technology: Meeting the Challenges of Electronics Technology Progress, 2004.","volume":"26 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Formal models for system design (challenges on exchanges in the main role between hardware and software going to the systems packaging)\",\"authors\":\"I. E. Ivanov, V. Georgiev\",\"doi\":\"10.1109/ISSE.2004.1490879\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper envisages main trends in systems design. Observation over and comparison between paradigms in software and hardware design is presented. Finally the paper focuses on three of most popular and important hardware design languages VHDL, SDL and SystemC. A special stress is done on how do they work outside hardware design and how they do package software and hardware in one device.\",\"PeriodicalId\":342004,\"journal\":{\"name\":\"27th International Spring Seminar on Electronics Technology: Meeting the Challenges of Electronics Technology Progress, 2004.\",\"volume\":\"26 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-05-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"27th International Spring Seminar on Electronics Technology: Meeting the Challenges of Electronics Technology Progress, 2004.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISSE.2004.1490879\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"27th International Spring Seminar on Electronics Technology: Meeting the Challenges of Electronics Technology Progress, 2004.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISSE.2004.1490879","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Formal models for system design (challenges on exchanges in the main role between hardware and software going to the systems packaging)
This paper envisages main trends in systems design. Observation over and comparison between paradigms in software and hardware design is presented. Finally the paper focuses on three of most popular and important hardware design languages VHDL, SDL and SystemC. A special stress is done on how do they work outside hardware design and how they do package software and hardware in one device.