使用消息序列图验证IC设计

Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future Pub Date : 2000-09-05 DOI:10.1109/EURMIC.2000.874624

H. Vranken, Tomás Garciá Garciá, S. Mauw, L. Feijs

{"title":"使用消息序列图验证IC设计","authors":"H. Vranken, Tomás Garciá Garciá, S. Mauw, L. Feijs","doi":"10.1109/EURMIC.2000.874624","DOIUrl":null,"url":null,"abstract":"The authors describe a design validation method based on simulation of behavioral models, in which Message Sequence Charts (MSC) are used to visualize the simulation results and to aid in debugging. Thereto, we have extended a Philips proprietary tool, called TSS (Tool for System Simulation), with the possibility to visualize simulation traces.","PeriodicalId":138250,"journal":{"name":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","volume":"69 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2000-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"IC design validation using message sequence charts\",\"authors\":\"H. Vranken, Tomás Garciá Garciá, S. Mauw, L. Feijs\",\"doi\":\"10.1109/EURMIC.2000.874624\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The authors describe a design validation method based on simulation of behavioral models, in which Message Sequence Charts (MSC) are used to visualize the simulation results and to aid in debugging. Thereto, we have extended a Philips proprietary tool, called TSS (Tool for System Simulation), with the possibility to visualize simulation traces.\",\"PeriodicalId\":138250,\"journal\":{\"name\":\"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future\",\"volume\":\"69 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2000-09-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/EURMIC.2000.874624\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EURMIC.2000.874624","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

作者描述了一种基于行为模型仿真的设计验证方法，该方法使用消息序列图(MSC)将仿真结果可视化并帮助调试。因此，我们扩展了飞利浦的专有工具，称为TSS(系统仿真工具)，具有可视化仿真痕迹的可能性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

IC design validation using message sequence charts

The authors describe a design validation method based on simulation of behavioral models, in which Message Sequence Charts (MSC) are used to visualize the simulation results and to aid in debugging. Thereto, we have extended a Philips proprietary tool, called TSS (Tool for System Simulation), with the possibility to visualize simulation traces.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future

自引率

0.00%

发文量