RTL testing