Talk:Behavioral modeling in computer-aided design