{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:20:53Z","timestamp":1750220453915,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,1,18]],"date-time":"2021-01-18T00:00:00Z","timestamp":1610928000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"BMBF","award":["16NE0117"],"award-info":[{"award-number":["16NE0117"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,1,18]]},"DOI":"10.1145\/3394885.3431592","type":"proceedings-article","created":{"date-parts":[[2021,1,29]],"date-time":"2021-01-29T11:32:46Z","timestamp":1611919966000},"page":"761-766","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["System-Level Verification of Linear and Non-Linear Behaviors of RF Amplifiers using Metamorphic Relations"],"prefix":"10.1145","author":[{"given":"Muhammad","family":"Hassan","sequence":"first","affiliation":[{"name":"Cyber-Physical Systems, DFKI GmbH, Bremen, Germany and Institute of Computer Science, University of Bremen, Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Gro\u00dfe","sequence":"additional","affiliation":[{"name":"Cyber-Physical Systems, DFKI GmbH, Bremen, Germany and Institute for Complex Systems, Johannes Kepler University, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"Cyber-Physical Systems, DFKI GmbH, Bremen, Germany and Institute of Computer Science, University of Bremen, Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,1,29]]},"reference":[{"key":"e_1_3_2_1_2_1","unstructured":"Martin Barnasconi. 2010. SystemC AMS extensions: Solving the need for speed. In DAC Knowledge center.  Martin Barnasconi. 2010. SystemC AMS extensions: Solving the need for speed. In DAC Knowledge center."},{"key":"e_1_3_2_1_3_1","first-page":"167","article-title":"Reusing RTL assertion checkers for verification of SystemC TLM models","volume":"31","author":"Bombieri Nicola","year":"2015","unstructured":"Nicola Bombieri , Franco Fummi , Valerio Guarnieri , Graziano Pravadelli , Francesco Stefanni , Tara Ghasempouri , Michele Lora , Giovanni Auditore , and Mirella Negro Marcigaglia . 2015 . Reusing RTL assertion checkers for verification of SystemC TLM models . JETTA 31 , 2 (2015), 167 -- 180 . Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, and Mirella Negro Marcigaglia. 2015. Reusing RTL assertion checkers for verification of SystemC TLM models. JETTA 31, 2 (2015), 167--180.","journal-title":"JETTA"},{"key":"e_1_3_2_1_4_1","volume-title":"Modeling RF systems. The designer's guide community","author":"Chen Jesse E","year":"2005","unstructured":"Jesse E Chen . 2005. Modeling RF systems. The designer's guide community ( 2005 ). Jesse E Chen. 2005. Modeling RF systems. The designer's guide community (2005)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3143561"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Alastair F Donaldson and Andrei Lascu. 2016. Metamorphic testing for (graphics) compilers. In MET.  Alastair F Donaldson and Andrei Lascu. 2016. Metamorphic testing for (graphics) compilers. In MET.","DOI":"10.1145\/2896971.2896978"},{"volume-title":"Quality-Driven SystemC Design","author":"Gro\u00dfe Daniel","key":"e_1_3_2_1_8_1","unstructured":"Daniel Gro\u00dfe and Rolf Drechsler . 2010. Quality-Driven SystemC Design . Springer . Daniel Gro\u00dfe and Rolf Drechsler. 2010. Quality-Driven SystemC Design. Springer."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Muhammad Hassan Daniel Gro\u00dfe Hoang M. Le and Rolf Drechsler. 2019. Data Flow Testing for SystemC-AMS Timed Data Flow Models. In DATE. 366--371.  Muhammad Hassan Daniel Gro\u00dfe Hoang M. Le and Rolf Drechsler. 2019. Data Flow Testing for SystemC-AMS Timed Data Flow Models. In DATE. 366--371.","DOI":"10.23919\/DATE.2019.8714903"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Muhammad Hassan Daniel Gro\u00dfe Thilo V\u00f6rtler Karsten Einwich and Rolf Drechsler. 2019. Functional Coverage-Driven Characterization of RF Amplifiers. In FDL. 1--8.  Muhammad Hassan Daniel Gro\u00dfe Thilo V\u00f6rtler Karsten Einwich and Rolf Drechsler. 2019. Functional Coverage-Driven Characterization of RF Amplifiers. In FDL. 1--8.","DOI":"10.1109\/FDL.2019.8876957"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Muhammad Hassan Vladimir Herdt Hoang M. Le Mingsong Chen Daniel Gro\u00dfe and Rolf Drechsler. 2017. Data Flow Testing for Virtual Prototypes. In DATE. 380--385.  Muhammad Hassan Vladimir Herdt Hoang M. Le Mingsong Chen Daniel Gro\u00dfe and Rolf Drechsler. 2017. Data Flow Testing for Virtual Prototypes. In DATE. 380--385.","DOI":"10.23919\/DATE.2017.7927020"},{"volume-title":"Enhanced Virtual Prototyping: Featuring RISC-V Case Studies","author":"Herdt Vladimir","key":"e_1_3_2_1_12_1","unstructured":"Vladimir Herdt , Daniel Gro\u00dfe , and Rolf Drechsler . 2020. Enhanced Virtual Prototyping: Featuring RISC-V Case Studies . Springer . Vladimir Herdt, Daniel Gro\u00dfe, and Rolf Drechsler. 2020. Enhanced Virtual Prototyping: Featuring RISC-V Case Studies. Springer."},{"key":"e_1_3_2_1_13_1","volume-title":"Zhi Quan Zhou, and Tsong Yueh Chen","author":"Jarman Darryl C","year":"2017","unstructured":"Darryl C Jarman , Zhi Quan Zhou, and Tsong Yueh Chen . 2017 . Metamorphic testing for Adobe data analytics software. In MET. 21--27. Darryl C Jarman, Zhi Quan Zhou, and Tsong Yueh Chen. 2017. Metamorphic testing for Adobe data analytics software. In MET. 21--27."},{"key":"e_1_3_2_1_14_1","unstructured":"Dhanashree Kulkarni Andrew N Fisher and Chris J Myers. 2013. A new assertion property language for analog\/mixed-signal circuits. In FDL.  Dhanashree Kulkarni Andrew N Fisher and Chris J Myers. 2013. A new assertion property language for analog\/mixed-signal circuits. In FDL."},{"key":"e_1_3_2_1_15_1","volume-title":"Accurate and Rapid Measurement of IP2 and IP3. The Designer's Guide Community","author":"Kundert Ken","year":"2002","unstructured":"Ken Kundert . 2002. Accurate and Rapid Measurement of IP2 and IP3. The Designer's Guide Community ( 2002 ). Ken Kundert. 2002. Accurate and Rapid Measurement of IP2 and IP3. The Designer's Guide Community (2002)."},{"key":"e_1_3_2_1_16_1","unstructured":"Jie Liu. 2011. Metamorphic Testing and its Application on Hardware Fault-Tolerance. ECE Project Report at University of Wisconsin.  Jie Liu. 2011. Metamorphic Testing and its Application on Hardware Fault-Tolerance. ECE Project Report at University of Wisconsin."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0247-9"},{"key":"e_1_3_2_1_18_1","volume-title":"SPICE-simulation program with integrated circuit emphasis. Electronics Research Laboratory","author":"Nagel Laurence William","year":"1973","unstructured":"Laurence William Nagel . 1973. SPICE-simulation program with integrated circuit emphasis. Electronics Research Laboratory , Univ. of California , Berkeley ( 1973 ). Laurence William Nagel. 1973. SPICE-simulation program with integrated circuit emphasis. Electronics Research Laboratory, Univ. of California, Berkeley (1973)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Fran\u00e7ois P\u00eacheux Christoph Grimm Torsten Maehne Martin Barnasconi and Karsten Einwich. 2018. SystemC AMS Based Frameworks for Virtual Prototyping of Heterogeneous Systems. In ISCAS. 1--4.  Fran\u00e7ois P\u00eacheux Christoph Grimm Torsten Maehne Martin Barnasconi and Karsten Einwich. 2018. SystemC AMS Based Frameworks for Virtual Prototyping of Heterogeneous Systems. In ISCAS. 1--4.","DOI":"10.1109\/ISCAS.2018.8351864"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Frank Poehl Frank Demmerle Juergen Alt and Hermann Obermeir. 2010. Production test challenges for highly integrated mobile phone SOCs-A case study. In ETS. 17--22.  Frank Poehl Frank Demmerle Juergen Alt and Hermann Obermeir. 2010. Production test challenges for highly integrated mobile phone SOCs-A case study. In ETS. 17--22.","DOI":"10.1109\/ETSYM.2010.5512786"},{"key":"e_1_3_2_1_21_1","unstructured":"Carna Radojicic Florian Schupfer Michael Rathmair and Christoph Grimm. 2012. Assertion-based verification of signal processing systems with affine arithmetic. In FDL. 20--26.  Carna Radojicic Florian Schupfer Michael Rathmair and Christoph Grimm. 2012. Assertion-based verification of signal processing systems with affine arithmetic. In FDL. 20--26."},{"key":"e_1_3_2_1_22_1","volume-title":"A survey on metamorphic testing. TSE","author":"Segura Sergio","year":"2016","unstructured":"Sergio Segura , Gordon Fraser , Ana B Sanchez , and Antonio Ruiz-Cort\u00e9s . 2016. A survey on metamorphic testing. TSE ( 2016 ), 805--824. Sergio Segura, Gordon Fraser, Ana B Sanchez, and Antonio Ruiz-Cort\u00e9s. 2016. A survey on metamorphic testing. TSE (2016), 805--824."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Sergio Segura and Zhi Quan Zhou. 2018. Metamorphic testing 20 years later: A hands-on introduction. In ICSE. 538--539.  Sergio Segura and Zhi Quan Zhou. 2018. Metamorphic testing 20 years later: A hands-on introduction. In ICSE. 538--539.","DOI":"10.1145\/3183440.3183468"},{"key":"e_1_3_2_1_24_1","unstructured":"Qiuming Tao Wei Wu Chen Zhao and Wuwei Shen. 2010. An automatic testing approach for compiler based on metamorphic testing technique. In ASP-DAC. 270--279.  Qiuming Tao Wei Wu Chen Zhao and Wuwei Shen. 2010. An automatic testing approach for compiler based on metamorphic testing technique. In ASP-DAC. 270--279."},{"key":"e_1_3_2_1_25_1","first-page":"1702","article-title":"A layered methodology for the simulation of extra-functional properties in smart systems","volume":"36","author":"Vinco Sara","year":"2017","unstructured":"Sara Vinco , Yukai Chen , Franco Fummi , Enrico Macii , and Massimo Poncino . 2017 . A layered methodology for the simulation of extra-functional properties in smart systems . TCAD 36 , 10 (2017), 1702 -- 1715 . Sara Vinco, Yukai Chen, Franco Fummi, Enrico Macii, and Massimo Poncino. 2017. A layered methodology for the simulation of extra-functional properties in smart systems. TCAD 36, 10 (2017), 1702--1715.","journal-title":"TCAD"},{"volume-title":"RF design guide: systems, circuits, and equations","author":"Vizmuller Peter","key":"e_1_3_2_1_26_1","unstructured":"Peter Vizmuller . 1995. RF design guide: systems, circuits, and equations . Artech House . Peter Vizmuller. 1995. RF design guide: systems, circuits, and equations. Artech House."}],"event":{"name":"ASPDAC '21: 26th Asia and South Pacific Design Automation Conference","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"],"location":"Tokyo Japan","acronym":"ASPDAC '21"},"container-title":["Proceedings of the 26th Asia and South Pacific Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3394885.3431592","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3394885.3431592","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:59Z","timestamp":1750193279000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3394885.3431592"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,18]]},"references-count":24,"alternative-id":["10.1145\/3394885.3431592","10.1145\/3394885"],"URL":"https:\/\/doi.org\/10.1145\/3394885.3431592","relation":{},"subject":[],"published":{"date-parts":[[2021,1,18]]},"assertion":[{"value":"2021-01-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}