IEEESystemC.std.1666-2011.pdf