System Level verification of Phase-Locked Loop using Metamorphic Relations

@inproceedings{pub11264,
    author = {

Hassan, Muhammad
 and 

Große, Daniel
 and 

Drechsler, Rolf
},
    title = {System Level verification of Phase-Locked Loop using Metamorphic Relations},
    booktitle = {Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2021), February 1-5, virtual},
    year = {2021}
}