What are the main differences between reference model testbenches and relational style testbenches? For what types of circuits would each be used and why?