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