Mozelle 
I metodi formali sono l’uso della modellazione matematica per la specifica, lo sviluppo e la verifica dei sistemi in entrambi Software ed elettronica hardware. I metodi formali vengono utilizzati per garantire che questi sistemi siano sviluppati senza errori. Le basi matematiche alla base dei metodi formali vengono utilizzate per garantire l’adeguatezza del progetto per ottenere … Leggi tutto
La saturazione è lo stato completamente conduttivo in una giunzione semiconduttrice. Il termine è usato soprattutto nelle applicazioni che coinvolgono diodi e transistor bipolari. All’aumentare della polarizzazione diretta in una giunzione PN semiconduttore, aumenta anche la corrente attraverso la giunzione, fino a un certo punto. Quando la polarizzazione viene aumentata oltre quel punto (chiamato punto … Leggi tutto