Effective Coding with VHDL: Principles and Best Practice (The MIT Press), p.416 ルーチンの主たる目的がブール値を返すことである場合は、「何々は何々だ」(assertion)という形か、「何々ですか？」(question)という形か、いずれかでそのルーチンに名前…