Emmanuel Casseau: SoC design using behavioral level virtual components. ICECS 2002: 497-500