%A Nguyen Hoang Pham
%A Ngoc Huyen Luong
%A Thi Hanh Nguyen
%A Duc Hanh Dang
%T Integrating a Testing Technique into the RTL Tool
%D 2018
%I VNU University of Engineering and Technology
%R TR2018-FIT-11
%L SisLab3198