Top-down design using cycle based simulation: an MPEG A/V decoder example | IEEE Conference Publication | IEEE Xplore