Modern digital kretsdesign bygger på snabba simuleringsverktyg för digital timing och därmed på exakta binärt värderade kretsmodeller som troget modellerar signalutbredning, även genom en komplex design. Av särskild betydelse är förmågan att spåra glapp och andra korta pulser, eftersom deras närvaro / frånvaro kan även påverka en kretss korrekthet. Tyvärr har det nyligen bevisats [Függer et al., ASYNC'13] att ingen befintlig binärt värderad kretsmodell hittills föreslagits, inklusive de två mest använda rena och tröga fördröjningskanaler, troget fångar glitch utbredning: För den enkla Short-Pulse Filtrering (SPF) problem, som är relaterad till en krets förmåga att undertrycka en enda glitch, visade vi att den ganska breda klassen av avgränsade enkel-historia kanaler antingen motsäger olöslighet SPF i begränsad tid eller löslighet SPF i obegränsad tid i fysiska kretsar. I detta dokument föreslår vi en klass av binära kretsmodeller som inte lider av denna brist: Precis som avgränsade singel-historia kanaler, våra involution kanaler innebär förseningar som kan bero på tiden för den tidigare utdata övergången. Deras karakteristiska egenskap är fördröjningsfunktioner som är baserade på involutioner, d.v.s. funktioner som bildar deras egen invers. Ett konkret exempel på en sådan fördröjningsfunktion, som härleds från en generaliserad analog kretsmodell i första ordningen, visar att detta inte är ett orealistiskt antagande. Vi bevisar att SPF, i skarp kontrast till vad som är möjligt med avgränsade singlehistoria kanaler, inte kan lösas i begränsad tid på grund av att det inte finns en lägre gräns på fördröjningen av involution kanaler, medan det är lätt att ge en obegränsad SPF genomförande. Härav följer att binärt värderade kretsmodeller baserade på involutionskanaler gör det möjligt att lösa SPF exakt när detta är möjligt i fysiska kretsar. Såvitt vi vet är vår modell därför den allra första kandidaten till en modell som verkligen garanterar en trogen spridning av glitch.
Så vitt vi vet, Függer et al. REF har varit det första som gjort det.
Faithful Glitch Propagation in Binary Circuit Models
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}