he could search the literature for existing material on the topic. you can, for instance, read quite a bit about the architecture of the lisp machines. searching google scholar for "tag coprocessor" comes immediately to mind as producing some literature on the topic. i think work has also been done on hardware support for generational garbage collection.

so, random challenge, promising big prizes, from someone who hasn't searched the literature... crank.