本書は、Questa-Altera FPGA Starter Editionを用いて RTL検証を実践的に学ぶための入門書です。環境構築からシミュレーション操作、信号追跡、コードカバレッジ、アサーションなど、FPGA開発で必須となる検証技術を体系的に解説し、それら検証技術に触れら