User's Manual

:.%*$'3)")&0/0"8'
5@ !"#$#%&'()*%)+'
The Kernel Synthesis Mode
=
3"088' T"H5=
0"6#5' )*$'
T"H5'%&('
Q%//.*8' 8#]
&%+/)*0.%8+?'/. ')7/#N)/0'/=0'S0"*0+'&.$0'F."'/=0'7."]
"08;.*$#*C' .87#++)/."' ,c' 1c' ."' >4' <=0' B=.+0' .87#++)/."'
807/#.*'+#C=/8'%;'#*';#*Z4'
:.'B =)/c'0T)7/+?'#8'S0"*0+'8?*/=08#8u':#&;+?'8;0)Z#*Cc'#/'#8'
)'&.$%+)"');;".)7='#*'B=#7='%;'/.' 8#T')%$#.'Z0"*0+8'7)*'
Q0'F"00+?'7.&Q#*0$'#*/.')' 8#*C+0'.87#++)/."4'MFF07/#N0+?c'0)7='
Z0"*0+' #8' )*' .87#++)/."' #*' #/8' .B*' "#C=/c' "0)+#8#*C' )' B=.+0'
")*C0'.F'/#&Q"08'`'F".&'%8#*C'8#*0')*$'7+)88#7'B)N0F."&8'
N#)'B)N0/)Q+08' /=".%C='/.'8)&; +08' )*$ '*.#804'2."'0T)&;+0c'
%80"8' 7.%+$' 7.&Q#*0' /="00' B)N0/)Q+08' B#/=' )' 8)&;+0c' )'
8#*0'B)N0c')*$'*.#80'B#/=#*')'8#*C+0'.87#++)/."4'
D*' /.;' .F' /=)/c' /=0' Z0"*0+8' 7.%+$' &.$%+)/0' 0)7=' ./=0"' #*'
)%$#.'")/0'%8#*C')'N)"#0/?'.F'&.$%+)/#.*'&0/=.$8c'8%7=')8'
)&;+#/%$0c' F"0^%0*7?c' ;=)80c' )*$' "#*C' & .$%+)/#.*4' 3=)80'
J#8/."/#.*'#8')+8.';.88#Q+0')+.*C8#$0'%*%8%)+';".708808'+#Z0'
)%$#.'")/0'B)N0/)Q+0]';.8#/#.*'&.$%+)/#.*4'(."0.N0"c'0)7='
Z0"*0+c'.F'7.%"80c'7.%+$')+8.')$$'80+F]&.$%+)/#.*'+#Z0'7+)8]
8#7'2('F00$Q)7Z4'
2%"/=0"&."0c'0)7='Z0"*0+' =)8' #/8'.B*'&%+/#]8/)C0'0*N0+.]
;0c'8/0"0.'.%/;%/';)**#*Cc' ;+%8'&%+/#;+0'&.$%+)/#.*'.;/#]
.*8' F."' N0+.7#/?c' N)"#.%8' Z0?' /")7Z#*C' ;.88#Q#+#/#08c' ;+%8'
;"080*/#*C'F00$Q)7Zc'+0N0+c';#/7=c')*$'B)N0/)Q+0';.8#/#.*')8'
&.$%+)/#.*'/)"C0/8'#*'/=0'!"#$#%&b8'(.$%+)/#.*'( ) /" #T4'
(0)*B=#+0c'Z0"*0+';#/7='7)*'Q0'80/'#*'"0+)/#.*'/.'*./0';#/7=c'
)8' B0++' )8' Q0#*C' 80/' /.' F#T0$' F"0^%0*7?' #*' )%$#.' ."' K2D'
")*C04'3#/7= '0*N0+.;08'7.%+$'Q0') +8.');;+#0$'/.' 0)7= 'Z0"*0+'
#*$#N#$%)++?'% 8 #*C '/= 0 '!"#$#%& b8 '(.$%+)/#.*'()/"#T4'
!/'#8';0"F07/+?';.88#Q+0c'/=0* c'/.'N#0B'S0"*0+'8?*/=08#8')8')*'
.87#++)/."' 7.*8/"%7/#.*'Z#/c')++.B#*C'F."'/")$#/#.*)+'); ;".)]
7=08'+#Z0')'8#T]'.;0")/."'2( '8?*/=c')8'B0++')8';".N#$#*C')*'
0T;0"#&0*/)+'8;)70'F."'F%/%"0]F)7#*C'8?*/=08#8'/07= * #^% 0 84'
g <5&51+*1"1*8%&015R"(3#518%!10%15R3#%&5195&45#1
(%$5Y1
,W'-=..80'w!*#/x'F".&'/=0'K.)$';)C04''
1W'2".&'D87,'-.*/".+';)C0'7=..80'H-X'."'J2,LL'
2#+'L')8'wD87,'J08/x'F."'8/0"0.'F%*4''
>W'3"088'P)N0/)Q+0'o'P)N0F."&'Q%//.*8'8#&%+/)]
*0.%8+?'/.';%/'D87,'#*'Z0"*0+'&.$04''
OW'-=..80'F".&'/.;'+0F/'w<0&;+)/08x'&0*%')*?'#/0&'
?.%'+#Z04''
@W'M)7='/0&;+)/0')88#C*8'/=0'@'D:-',';./8'/.'#*$#N#]
$%)+'8.%*$'8=);#*C';)")&0/0"84''
5W'<%"*'Z*.Q8')*$'&)Z0'8.%*$4''
9W'-=..80')*./=0"'/0&;+)/04''
GW'R0/'+.8/a'