Yves Mathys André Chátelain Verification strategy for integration 3G baseband SoC. 7-10 2003 conf/dac/2003 DAC http://doi.acm.org/10.1145/775832.775835 db/conf/dac/dac2003.html#MathysC03