Automatic functional verification of memory oriented global source code transformations

Kodamballi, ShashidharShashidharKodamballiBruynooghe, MauriceMauriceBruynoogheCatthoor, FranckyFranckyCatthoorJanssens, GerdaGerdaJanssens2021-10-152021-10-152003https://imec-publications.be/handle/20.500.12860/7748Automatic functional verification of memory oriented global source code transformationsProceedings paper