A memory specific notation for fault modeling

More Info
expand_more