D	CLK	RESET	NOTIFIER	VPWR	VGND	:	Qt	:	Qt+1	Comments
*	b	0	?	1	0	:	?	:	-	data event, hold unless CP==x
?	(?0)	0	?	1	0	:	?	:	-	CP => 0, hold
?	b	(?0)	?	1	0	:	?	:	-	R => 0, hold unless CP==x
?	?	1	?	1	0	:	?	:	0	async reset
0	r	?	?	1	0	:	?	:	0	clock data on CP
1	r	0	?	1	0	:	?	:	1	clock data on CP
0	(x1)	?	?	1	0	:	0	:	0	possible CP, hold when D==Q==0
1	(x1)	0	?	1	0	:	1	:	1	possible CP, hold when D==Q==1
0	x	?	?	1	0	:	0	:	0	unkown CP, hold when D==Q==0
1	x	0	?	1	0	:	1	:	1	unkown CP, hold when D==Q==1
?	b	(?x)	?	1	0	:	0	:	0	R=>x, hold when Q==0 unless CP==x
?	f	x	?	1	0	:	0	:	0	JCWR reducing pessimism
IfDef(functional)	
?	?	?	*	1	0	:	?	:	-	ignore notifier
Else	
?	?	?	*	1	0	:	?	:	x	Q => X on any change on notifier
EndIfDef(functional)	
?	?	?	?	*	?	:	?	:	x	Q => X on any change on vpwr
?	?	?	?	?	*	:	?	:	x	Q => X on any change on vgnd