Vi föreslår en ny symbolisk verifieringsmetod för att bevisa egenskaperna hos analoga och blandade signalkonstruktioner (AMS). Med utgångspunkt i en AMS-beskrivning och en uppsättning egenskaper och med hjälp av symbolisk beräkning, extraherar vi en normal matematisk representation för systemet i termer av upprepningsekvationer. Dessa normaliserade ekvationer används tillsammans med en induktionsverifieringsstrategi som definieras inuti datorns algebrasystem Mathematica för att bevisa att egenskaperna är korrekta. Vi tillämpar vår metodologi på en tredje order modulator.
Nyligen, Al Sammane et al. I REF föreslogs en ny symbolisk kontrollmetod baserad på datoralgebrasystemet Mathematica.
A symbolic methodology for the verification of analog and mixed signal designs
{'venue': "DATE '07", 'journal': None, 'mag_field_of_study': ['Computer Science']}