A formal semantics of VHDL based on duration calculus

• 一种基于时段演算的VHDL的形式语义