SystemVerilogのプログラミング技術を詳解――近刊『検証のためのSystemVerilogプログラミング』はじめに公開