[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Specification ubi-refine
asm refinement
   

   export ebm-asm

   import ubi-asm

   using ubi-asm, ebm-asm, 
         ubi-abs

   

   by mapping ubi_recover# → ebm_recover#, ubi_get_volume_size# → ebm_get_volume_size#, 
              ubi_create_volume# → ebm_create_volume#, ubi_read# → ebm_read#, ubi_write# → ebm_write#, 
              ubi_erase# → ebm_erase#, ubi_unmap# → ebm_unmap#, ubi_map# → ebm_map#, ubi_change# → ebm_change#, 
              ubi_sync_device# → ebm_sync_device#, ubi_get_page_size# → ebm_get_page_size#, 
              ubi_get_leb_size# → ebm_get_leb_size#, ubi_format# → ebm_format#, ubi_erase_worker# → { skip }, 
              ubi_wear_leveling_worker# → { skip }

   abstraction abs(AVOLS, APEBS, VOLS, ERASEQ);

   
end asm refinement