Leveraging semi-formal and sequential equivalence techniques for multimedia SOC performance validation
Design methodology for pipelined heterogeneous multiprocessor system
RIJID