基于事件结构的SystemVerilog指称语义
기우사건결구적SystemVerilog지칭어의
Denotational Semantics of SystemVerilog based on Extended Bundle Event Structure
저자의 최근 논문