Pham, Nguyen Hoang and Luong, Ngoc Huyen and Nguyen, Thi Hanh and Dang, Duc Hanh (2018) Integrating a Testing Technique into the RTL Tool. Technical Report. VNU University of Engineering and Technology.