Верификация процессоров / Формальная и функциональная / Трассировка печатных плат

od Битовые маски: о системном программировании простыми словами