Analoga och blandade signalkonstruktioner (AMS) är en viktig del av inbyggda system som kopplar digitala mönster till den analoga världen. På grund av de utmaningar som är förknippade med verifieringsprocessen kräver AMS-konstruktioner en betydande del av den totala konstruktionscykeln. I motsats till digital design är verifieringen av AMS-system en utmanande uppgift som kräver mycket expertis och djup förståelse för deras beteende. Forskare har nyligen börjat studera tillämpligheten av formella metoder för verifiering av AMS-system som ett sätt att ta itu med begränsningarna i konventionella verifieringsmetoder som simulering. I detta dokument kartläggs forskningsverksamheten vid den formella kontrollen av AMS-konstruktioner samt jämförs de olika föreslagna tillvägagångssätten.
En undersökning av den formella kontrollen av AMS-kretsar finns i REF.
Review: Formal verification of analog and mixed signal designs: A survey
{'venue': 'Microelectron. J.', 'journal': 'Microelectron. J.', 'mag_field_of_study': ['Computer Science']}