RTGEN: An Algorithm for Automatic Generation of Reservation Tables from Architectural Descriptions