Modellazione comportamentale delle porte di ingresso e uscita e della rete di alimentazione di circuiti digitali integrati