Add missing fun defs from sv-benchmarks #1239

Add missing fun defs from sv-benchmarks #1239 #8696