update memories
bankedmem should split addresses before registering
add dc-syn rule