An Update Method for a CAM Emulator using a LUT Cascade Based on an EVBDD