Logic analysis