LBSD 3: System-level behavioral modeling and simulation

Behavioral models abstract away implementation details to achieve goals such as capturing the design intention or achieving fast simulation. The papers in this session deal with several aspects of behavioral models. They cover efficient integration of RTL models into high-level simulation, heterogeneous modeling in a functional programming framework, and uncertainty representation in system level models.