Polyhedral space generation and memory estimation from interface and memory models of real-time video systems