// ************************************************************************** // // // // eses eses // // eses eses // // eses eseses esesese eses Embedded Systems Group // // ese ese ese ese ese // // ese eseseses eseseses ese Department of Computer Science // // eses eses ese eses // // eses eseses eseseses eses University of Kaiserslautern // // eses eses // // // // ************************************************************************** // // Write conflict between delayed assignments. // // ************************************************************************** // module DDWC(bool ?x,!y) { if(x) { next(y) = true; next(y) = false; } } drivenby drv0 { x = false; } drivenby drv1 { x = true; }