Describir: Spoľahlivý návrh počítačov na úrovni logických obvodov :