Design verification of an 18-million-transistor digital television and media processor chip | IEEE Conference Publication | IEEE Xplore