Steve Leibson Grant Martin Design and verification of complex SoC with configurable, extensible processors. 385 2008 SoCC http://dx.doi.org/10.1109/SOCC.2008.4641550 conf/socc/2008 db/conf/socc/socc2008.html#LeibsonM08