Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:   firstly introduce a novel symbolic model checker ( MScheck ) for mixed-signal circuits.  MScheck  is capable to conflate the continuous behavior, typical for analog designs, and the discrete behavior in the digital domain for formal verification. Timing information of both systems will be symbolically stored within multi terminal binary decision diagrams (MTBDDs) for the entire verification procedure. The effectiveness of our approach is demonstrated on a phase locked loop (PLL) by formal verification of the locking property 1 .
['Alexander Jesser', 'Lars Hedrich']
I am writing a research paper on a idea A symbolic approach for mixed-signal model checking
[{"from": "human", "value": "I am writing a research paper on a idea A symbolic approach for mixed-signal model checking"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:   firstly introduce a novel symbolic model checker ( MScheck ) for mixed-signal circuits.  MScheck  is capable to conflate the continuous behavior, typical for analog designs, and the discrete behavior in the digital domain for formal verification. Timing information of both systems will be symbolically stored within multi terminal binary decision diagrams (MTBDDs) for the entire verification procedure. The effectiveness of our approach is demonstrated on a phase locked loop (PLL) by formal verification of the locking property 1 ."}]