FPGAなどに実装するデジタル回路を記述して，直接論理合成するために使用されるものはどれか。