Modeling a new RTL semantics in C++

Shuqing Zhao, Daniel Gajski. Modeling a new RTL semantics in C++. In ISCAS (4). pages 741-744, 2002. [doi]

Abstract

Abstract is missing.