元ネタ：TDDで「テストばかり書いて間に合うのか？」と質問されたときの正解 高位合成/動作合成のツールを使った設計において、顧客などから 「等価性検証は必要ないのか？」 などと質問されることがあると思います。 そんな時には、後ろからそっと抱きしめ…