RTL-based functional test generation for high defects coverage in digital SOCs | IEEE Conference Publication | IEEE Xplore