LSI integrált áramkörök számítógépes tervezése: eszköz- és funkcionális modellek