{"title":"用于 DIPLODOCUS 的 TTool：设计空间探索环境","authors":"L. Apvrille","doi":"10.1145/1416729.1416764","DOIUrl":null,"url":null,"abstract":"TTool for DIPLODOCUS is an open-source UML-based toolkit for the design space exploration of system-on-chip. DIPLODOCUS is the name of the underlying UML profile. This profile includes a three-step methodology: a description of application tasks, a description of candidate distributed architectures, and the mapping of application tasks onto those candidate architectures. Our contribution not only offers SystemC-based automatic simulation but also automatic formal verification, in both cases directly from UML diagrams.","PeriodicalId":321308,"journal":{"name":"NOuvelles TEchnologies de la REpartition","volume":"50 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"26","resultStr":"{\"title\":\"TTool for DIPLODOCUS: an environment for design space exploration\",\"authors\":\"L. Apvrille\",\"doi\":\"10.1145/1416729.1416764\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"TTool for DIPLODOCUS is an open-source UML-based toolkit for the design space exploration of system-on-chip. DIPLODOCUS is the name of the underlying UML profile. This profile includes a three-step methodology: a description of application tasks, a description of candidate distributed architectures, and the mapping of application tasks onto those candidate architectures. Our contribution not only offers SystemC-based automatic simulation but also automatic formal verification, in both cases directly from UML diagrams.\",\"PeriodicalId\":321308,\"journal\":{\"name\":\"NOuvelles TEchnologies de la REpartition\",\"volume\":\"50 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-06-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"26\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"NOuvelles TEchnologies de la REpartition\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/1416729.1416764\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"NOuvelles TEchnologies de la REpartition","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/1416729.1416764","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
TTool for DIPLODOCUS: an environment for design space exploration
TTool for DIPLODOCUS is an open-source UML-based toolkit for the design space exploration of system-on-chip. DIPLODOCUS is the name of the underlying UML profile. This profile includes a three-step methodology: a description of application tasks, a description of candidate distributed architectures, and the mapping of application tasks onto those candidate architectures. Our contribution not only offers SystemC-based automatic simulation but also automatic formal verification, in both cases directly from UML diagrams.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
