Testes de lógica foca em métodos para verificar circuitos digitais e detectar defeitos por meio de técnicas específicas de teste de circuito.

A seção sobre projeto para testabilidade apresenta estratégias de design que facilitam a inspeção e a verificação de componentes lógicos, com exemplos de aplicação em arquiteturas de hardware.

Capítulos técnicos incluem procedimentos práticos e conceitos teóricos relevantes para quem trabalha com verificação de sistemas digitais e com geração de testes automatizados.