If it has both the characteristics of the data format for high-level processing and the characteristics of the data format for logic circuit synthesis,
KS C 5020-3-1998 history
0000 KS C 5020-3-1998(2008)
1998KS C 5020-3-1998 A data format in interface between logic circuit and high level for design automation