D. Dammers, C. Domingues, Daniel Schollän, Lars M. Voßkämper
{"title":"Mixed signal system design verification accelerated with detector-based diagnostic method","authors":"D. Dammers, C. Domingues, Daniel Schollän, Lars M. Voßkämper","doi":"10.1109/BMAS.2009.5338887","DOIUrl":null,"url":null,"abstract":"Mixed-signal simulation of complete systems, i.e. pure analog/digital systems or electronics with its attached peripherals, such as sensor and actuator systems, already have a firm place in today's design process. While the digital part verification has gained a speed increase through the use of Accllera's Property Specification Language (PSL), the analog part suffers from not being supported by this language. To speed up the verification of the analog part innovation is needed. Based on assertion concepts, this paper presents an innovative methodology for the verification of mixed-signal circuits. Electrical validation of a sensor amplifier design serves aas demonstrator for this methodology.","PeriodicalId":169567,"journal":{"name":"2009 IEEE Behavioral Modeling and Simulation Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 IEEE Behavioral Modeling and Simulation Workshop","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/BMAS.2009.5338887","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
Abstract
Mixed-signal simulation of complete systems, i.e. pure analog/digital systems or electronics with its attached peripherals, such as sensor and actuator systems, already have a firm place in today's design process. While the digital part verification has gained a speed increase through the use of Accllera's Property Specification Language (PSL), the analog part suffers from not being supported by this language. To speed up the verification of the analog part innovation is needed. Based on assertion concepts, this paper presents an innovative methodology for the verification of mixed-signal circuits. Electrical validation of a sensor amplifier design serves aas demonstrator for this methodology.