Design and synthesis of behavioral level virtual components