now using numeric_std
passes core_tb