수퍼스칼라 마이크로프로세서 페이징 유닛, TLB의 HDL 모델링