Logic synthesis and verifications algorithms

Furkejuvvon:
Bibliográfalaš dieđut
Váldodahkki: Hochtel,Gray D.
Eará dahkkit: Somenzi,Fabio
Giella:eaŋgalasgiella
Almmustuhtton: Springer 2006
Fáttát:
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
Lasit vuosttaš kommeantta. Visot kommeanttat leat almmolaččat.!
Čálihuva vuohččan sisa