• Non ci sono risultati.

Personal use of this material is permitted

N/A
N/A
Protected

Academic year: 2021

Condividi "Personal use of this material is permitted"

Copied!
9
0
0

Testo completo

(1)This is the post peer-review accepted manuscript of: L. Li, M. Gautschi and L. Benini, "Approximate DIV and SQRT instructions for the RISC-V ISA: An efficiency vs. accuracy analysis," 2017 27th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS), Thessaloniki, 2017, pp. 1-8. doi: 10.1109/PATMOS.2017.8106987 The published version is available online at: https://doi.org/10.1109/PATMOS.2017.8106987. © 2017 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

(2) 

(3)        .         ! "  ". 9 ! ( .  #    "$ % & '% (!  )*% +,-. '% / 0 !        !       !#% 1    !       !#  % 2 .,,3% 4  % &#  5  ' % 6773)7%  #%  !! 8. 0 .  #    "$ % & '% (!  )*% +,-. '% / 0 ! # 8. 0 . 

(4)  

(5)               

(6)  

(7) 

(8)    

(9)    

(10)   

(11) 

(12) 

(13)    !  

(14)  

(15) "  " 

(16) 

(17)   

(18)   

(19)   

(20)  

(21) #   

(22)      #    

(23)     #

(24)   

(25)   

(26)    

(27) "    ! 

(28) 

(29)  #  

(30)   #   

(31) " 

(32)  $

(33)    #    " % 

(34)   

(35)        

(36)   &  ''#       !   

(37) "  !  ()*   

(38)    

(39)  +      

(40)

(41) 

(42)

(43)     # 

(44) ,    

(45) 

(46)       

(47) 

(48)  !     

(49) 

(50) 

(51)  

(52)     -().*  

(53)     '// 

(54) "

(55)    

(56)    

(57)  

(58)  

(59)  

(60)  

(61)  

(62)     ! "#

(63)  $ 

(64)

(65) %   &&  . 2;

(66) 1 ;2. <! #           ! % ##  !  !#% !  #   #    #  #!  # =7> 9 #  ! !  !# #  ?1% (?1 =.>  / !!  !//  91%   9   9@ =)>=@>   #  ! #    A<?1B 9         A B ! ! #  A<?B   C    % /     !!       <  ! .,  % #      #     !#     !      ! #   A

(67) B  C.  AB          /    =*>=+> &/     /%   C       !! # ! .    /.  ! !     

(68)        ! !   C  !  !0    /   !#       !# ! % ! # #.  #     #       % /   !// % !/ <?         #     # A B !       ! !      # $#.    /   $ 1 G  ;?;9? A&.,.,3).6)7B   !!   $  ! !. " :   #    "$ % & '% (!  )*% +,-. '% / 0 ! !$ 8. 0  5    ! !//  !  $   # !  /  ! !   !   =->=7.> ;     #   

(69)  /       % /  $   $ !!      !     $    /D       

(70)  /   !    $!      =7)>   !  !  !% /  /.      /  !/   #      /   !!   !!0    ;  # D   $!   # !  !!    ! /   !/ /       % /    !    !   

(71)   % !#    #!   A?B $ !.  #%  !    #    ?   %  !   A&?B  #   C    A?B  # ;     $!   3*@.,,+ ? $ !      /   #$!     !    !   ! /   3*@.,,+       =7@>     #0   !!/     % /. 0   !  /D            % /         %        ! % /       !     !     % /    !   !  /   $ D !   !!     % /    ! "

(72) 5;E          #       $  $   <?            A (<";?B% <?1  #   0       #       !   <?1  2 (?1%    ! (?7,,%  $  ?  $!   A

(73) ?B =.> <? $  <?1  9 ?1 !  ? 

(74) ? ! #           !   #   22  .  ! #%       <?

(75) F   % !# (#!   ? # 1 A?1B =7*>  . 2       =76>  =7>% ? ! !         ! #        % / .

(76) /        !    !   #   C  /     ! ; .  ! !$! !    %  (<?1  ! $.    !    /  ";2     $    ? +     =73>=7+>    C   (<?1     !   # <? ! !  =7+> (<?1   ? 

(77) ?% /    #     ! =73>=7+>  &5&   . =7->% !   $!D #           % $           $ <?

(78) F      =.,>=.7>   !  <! !$  <?( !#   C  % /   $!.      ! # !$ H$!.  I         $ /         $ #  # "!  ! # ;.     %        !#     C   =.,>  =.7>  $   !D $!   ! ! %  ! #  #       =.,>%   /           <!?    . #          /   # $!    <! % /   #  ! $  =..> 5!.     <?1  #  # ? 

(79) ?%   $    D/! #      #     !    !  <?       !  .    % / !        C.   % / !!    3*@.,,+ ? $           #%   $     !#        #    $             /  $    . %  C   /   !   ! # !   ?   %     $     !!/       !   $!    #     !  !#          %  C      !    % $     !    #     .    !      !  ! %     !         !   .  /  $. !     # #  <9 "J ;< &

(80)

(81)   ;2 2

(82) 1 ;; 12      % /         #  !       !!$!  %     C      % / #     !  .  #          

(83) 

(84)   ?1    /   AB         !0#        %.  !!            

(85)  

(86) % /            / !    %  

(87)      ?1 !D ! %   

(88)      # .   #   #    % /    .    

(89)   .   A7B 5     $   !        !. <   /  ! !      %  #  $   !D !  AB /!! ! ! $  .    ;  $! /         .             #.     /% #     /        !  /!! $       /.        C                        <?

(90) F   %   !      C   !    !   !. :  #  $          %   $!   .  #     #             

(91) 

(92)        %   C   !!  #    # $  !#  A2:

(93) B =3>%     # C  !!  !#  A2B =+>     !% $       =.)>   !  5  . !      2:

(94)  2%.      C    $    !  <# 7 /           C            $     .  #     #%    %     #  #    # #!% /        !  #       !D     !      /   /! $   5  !     . 196*"?7?+9  %  !D      !!   / . +      #  $.       !! !     %   / #   .   $   !D  C  D#    . !        #  # %  ?    A/  .@ $     /     $ B  $.    # !  A7K.@F@K7B   !    $    #  # /        #   #     ! #!       #  !!/#  !D !         .@     .   <!!%  ! !    $    # $!D / !0      !        # $!D    /      #   /     #! /    !  !     #  # % /    D    / 3*@   $  /   # # $ % $  $   %       AB  $      # $ AB%   AB    AB $   3*@.,,+ !   ! $    ! $        /   $ .    !! , $ % /           ?      $ ! <  ! $ %  !!  "#$ !!!!!!%    ! $ % / ! # 0  .   A"'

(95) B       $   ! # 0        $   % & 5  "'

(96) 7  "'

(97) .% /   . !0  5           '% /        C        $ !!  $.  

(98)  

(99)   !

(100)     . . . < C  % .    $    .  A.B.

(101) ;?. ;?. ;?$. ;?.

(102) . 4?. 92. 4?$. 92$.  (2.  (2$ 4?. 4? "'

(103) 7. "'

(104) .. 92K7. ;  .  . !#.A92B.     . 4?$. 7. #   . ? !0  92%. 92$% 92K7 7. 4?K.. 6. 2:

(105) M2. 92K7. 4?0. N';4% 2<4%224O.  (20. 920 2!0 . 4?. 4?. 92K). 92. #   !0  4?. 4? .  (2  7. 92. ). 92 . . ;?  !. N;<%1<%

(106) O <# 7           C    #  .  $!D    # $!D     %       /   #  2:

(107) F2 !# %     # $!D  #  !0 . 

(108)   ..

(109).  !

(110)  F . .  

(111). .

(112).   .  A)B.   ! #    !0         !F!      #  #  !  !  !!  $ #  #  $      $   ()*   + *         !F!% /  ()*   + *    ##  #!    C  %     ! ;  .       #    A,B% 0  A&-B    $  AB  !0    !  !  #!  . * /       !   C     /  / ! .    !   .     /  $!   #  &? ! !      /   !   ! * !D !  /! ?  !    /  $ ! !#   $. !         !   $! !    C   !                  $      <# 7 !!  # /  !    /    !#  

(113) # !  A  ".,76 ,)B / !   !!  #    0   !  # 196*"? 7?+9.   !#  /    /       /  7 , /  !  7.*    <# . /    0     !      #       0   !      .    !   !  *L     %   /     ?  1    !D  C % .    &?  ?    ! ))@,L  -77L   ?  %     ! :" & 1 

(114) "2J 2

(115) & 94 919 92  ; ;< &

(116) <<2

(117) F 12  $

(118)  #! A?B   &! A&?B   A?B. 01 .) +77 7.7* 767- .,.) 7, .. 2  " 3," 4 + * 6 3 + * 7. 0  

(119)

(120) 

(121)  7 1"? ..) . * / 1"? 7 1"? 7 1"?.

(122)  %   /  ?  $     .    #  . ).% 7 *-  7 76 $  /       ?  /   #  !   *% 6  3 ! %     ! <!!% &?  ?       .  .,    63,,     %     !% /  !0#  ?     #  /  !     $ !  %   #      #.    !  /  $    !  !/. ! , -  %0 &   10  

(123)  . " #$ % &  '$ ($.   . .   

(124)  .  .  

(125)

(126). !". !". !"  . .  . . . . . !/. !. !/. /!. . !. . . . . $  )*+%. !. . !/ . <# @        # #  .    /     ? A.) $   B $   $ !  /  7P,,,P,,,     .   . !". . !/. !   

(127)  " 

(128) #" 

(129)   <# @ !    !     ! # .  # #    $      # #  !0    ?  #     .  . !. , -  .. <# .

(130) #  !   !      <?

(131) F     /     $   % /#    $      !    . 196*"?     /    A7 ,% 7.*B .            ! *L /     ? . !/. !. %0 &  . !/. .  

(132)  . . . <# )  #  !    &?% ?%      !0   .  #   ?   /    /  !!   #  ? . A  &.,7. 7.?.B /    !   

(133)    $ 

(134) # !   

(135) !    $ 9      A  7, *B <# ) / . !0   # A  ?B    !          /     !    !  !#    !!    <# @ 5      ?% <# )       !0   #       $.     7,*L  6@L $  !#         # !    #   !D !  <  %   #   &?  ?   ! .. .*L  7 73 L  .  #   ?  %     !%  /  <# ) < ?%    /      !/  # ;    !   ?  G  !D ! % /! + !D !   ?        ?    !  /  ?%     $ /  :    . A 

(136)  $   $ Q 

(137)      B A@B 

(138)  $   $. &   .       .   . 7 %. R      R R  R  , %. . A*B. /           !  !  .   ! %     ! %   $         .     !!   $ ! # 7%,,,%,,,     <  ! $ %  !!  "#$ !!!!!! 5     $! %   ! $   ! /     !   .A.)  . * /B /!! $    $ , A !!  0 #$ !!!!!!B <# @ /     . !!      # # /     ? !!  5 /   #  ! .  !#  ! $  $   ! $  /!! $.    0    !    ! .   7   #  $!.   $ !/  !#  $!  ! $  A. 73)+B 5    #  $    .

(139)   $ %  !             ! !  7,3  7,)  /  <# @% .  # #       .  #      !  +L   #  $.   /   !#       ?  7-$     ! !    C        7* $ % !  !    C   ! #  ..L ! .  # /       ?  ! <!!%  !# .           !!/    77$    C   !   !  ! %   # )6L   # &  %  # # # !  ! /   !          C      #     !    .    ! $       !           .      %       .  #    !  !#  !# %  C   & !

(140) 

(141) ' ''

(142)  :" ;9? ;2 5 & ;<& . 5'6. 5786. 5'&6. 5776. 9+.

(143)  !  =! >  !  =! > < C  =

(144) F >   =D(> . )7. 7@. 7*. +. *.  

(145) , *+. )7. 7*. .). 6. 6. *+. .@, 9&0. 7.-F7.* 9&0. .*, 9&0. )*, 9&0. )*, 9&0. )*, 9&0. . . 7,, A <?1B. 7-. .-. 36. 4!  . 6  . 4! 4.6, ,,. 7), 9;. 19 6*. 19 6*. 19 6*.  .  ? !.  .  .   <!!. ? . ?  #. 9        #  C   ! !D !       C  ; !        #  C   !/ ! % G     3 6D( $! 0   #       #   #  =7>  /   !   )7 !D !   $ 

(146)       <! G   <?(  !   !  !#  /   !   7@  7* !D !  

(147)   %     ! :    !  =.,>%   #          # (<?1  =7+> G     ! #  <? ! !  /   !   7*  .) !D !  

(148)   % /       #        !!        #  #  .   #  # <?C  <?

(149)   <!?  =..>. ! !!  !     % /   . !#  % 7-D(   #  <!? /      $    /  . #  #   % + ! !   <?

(150)   6! !   <?C ;  #  G @,L      <!?  #% / .  #  ! $    # # .   A?B    

(151) # 5 A

(152) 5B    A&() )#  &() )* B   $ ! $!D   $.   !  /      #   #        /   

(153) # !        C   )*, 9&0 .  #   !      /      /       !D ! $ !    #       .- D(        G .6 .L 

(154) 5     2( ;2 2  91" ; J9     % /    #   .  

(155) F    !  !   %+' +'   " +

(156)     !! ! ! !//  A?1"?B !  #        #  #   #    !           #    C  $  !0# ! ! %  #       /                      % # !!      A

(157) 9B  / !    !  ! ! $D  0  $         ! . !   !     !  =7,>% =77>   !      !   !0  !!     /   ). 9           =7.>    !%     $.      3*@ ?  #     <?1  !!   #!      A).<B     %   C       $    / !!  .     $   /      #% / !!/   #!   %  C       #!   / $!D /   !  . # !         !  !       #  ! !!/#             ! <?      !     #%   $     #! ! /  / . <?1  $.   !  /    #   #  !#            %     $!  .   / !   ! % !!/#    #     # ? 1  !       $!  . # !   !  .    ?

(158) F       !!/  ! ! #    !! #   % /        !  D  !%         #   !# !  !#       %  C    % /!!  !    !        % #  !  #  $    !!%     #   !!  #       /          $!.   #       

(159) F  A3 6D(B  !/%   !! $#   $! 76L        #!         !      $.    # !! #   / !!/   0       $ %        !0      $       !!/.

(160)  D  !     7,      ! $         #

(161) F    . !   $! :" ;9?"4 J ;< & <;1  ?;(9 :

(162)    . .   . ;. 9(9. $

(163) <=

(164)

(165) 79. .@P*6@. 7**P-,-. 7.P7)). +.P33+.

(166)  . -,A, )3LB 7,,A, @7LB. 37,A, @6LB 73,A, 77LB. .P*),A) ,6LB ,.     . 7, =7,7,>. 7, =7,7,>. , 7P,,,A+ .@ LB 7, =)7,,>. 7, =.7,,>.    !      !    . ".     D  !  $.  !!   # 9 !$%  <# 6  <# 3%     ! ! )0 (34( (343 55 $ 6, 5. !.   2  .  !   $!    $ #    /  *  + !   !    #          !   !   /  <# * /     . !      # ). 9     $. $!        %      #  $. .    /    !     % /   $!  !# <?   %  !!#   ! %  / #  !  $D    #  ! A<B       !  %     #     . /# ! !              /  !       # 5     <?       %         C     $ $  / #.   !!   #          !  /       =.@>  ! !      C  %  $  /!! ! #  %  /   C  #!%    %  . #   /   #              /    !     D# !  # #!        ! $D   #  /   /!! $ /  $D   <       $          %       /       !D ! $ ! /     !    %      $.     /     #!% /     . $    !   C   /     $

(167) !   C  %           $    % .          /  !!    !             $ C  !  <? %  C        C  !       %  $        $ !/ 7L    %  C    $ D D  ! . !!. !/. !/. !/. . !. . . . $ . . !. . . <# 6    ! .    $       $     ! .      . 

(168)    %  

(169)     

(170) . <# *  !  !     /  #       <?

(171) FC  A/   B /  $!.     !   *+ !    !!/#%      A. %.  #%  B      

(172) F   $.  !0   # % .  #  .  ! #  ##  $.         !    D  ! /  !0 

(173) F      

(174) "

(175)  /      A!% B%  #   !!  !D   G     .

(176) G  .  A?G.

(177) B =.*>   .  !  .    A

(178)  )

(179) B  $.  !     % .      !   !0#        .   . A6B. /      . !     .      $    . !          : #         !        .     .  A    B  A B. A3B. /  AB        9 !$% /   . ".      #       !!    # /          !# .         

(180)  )

(181)  <# 6  <# 3 /  # !  % /   # #.   /          <# @

(182)  )

(183)      !       + .@L  .   %  ! !  /   $       .  *L    ! < !  %

(184)    !   , 33L  , *3L%     ! ) ,6L.

(185)       ?G.

(186) 

(187)     .   !  / ! !    /   ?     %    &?  ?       !           !. !. )0 (34( (343 55 $ 6, 5.    . !/ !/.  " 

(188)  .  $  %  $  % $. /. !. . &- F $., % ,* %. A7 . !/. !/. . !. . . . $ . . !. . . <# 3   !     ".   $       $  !  " $

(189) #" 1 !0#      

(190) F      !          /   % $    #  .  #      $  !        /  <# @ &  %       /      <# + !   !D /  # #   !  / !!/   .   # #   #   %        $ !     !  $ /.  . !       !   $! <

(191)  )

(192) % /   !    #  3 !D !   * !D ! %   7@L% .+L  @)L   #   $    < ?G.

(193) %     $    $ , ).L% 7* @+L  .. +)L /   #  !   

(194) F   3  * !D ! . ,* %   $  %. A+B. /  1-+2    C   $   !  $    1-+2    C   $   !  $ ?  .3

(195) 2     /  $    .3

(196) 2     /  $ ? . /     $.     . !/. !/. ,* %$   $  % $. .  &- F $., %  &- F $., % $. &- F $., % ,* %. . A-B. B. /  1(456-2    C   $   !     C     $   .3(456-2   /     C     $    .3(456-2   /     C     $ ? $!  !         .  #    ? <  !  !%    #    7 ,7   $    #.  #    7 ,. !   !     /   C  

(197)  )

(198)     !  7 33% 7 )-  7 76  #    $    $  #   #   #      /   !   *  3 !D !  < ?G.

(199) %

(200)     ) ,6L      7 .-  7 7+  #    $ $   /      /   !   *  6 !D ! %     !   #.  #    7 76 <  $ !%   $ !   

(201)             

(202) F  !    7 @@  #.  #    $    $  #   #   

(203)  )

(204) :"  12 9 

(205) 1 ;2 2

(206) 2(J  ; ; ? ;< & <;1 ??"  ;2 

(207) <<2 ?  ;2. "! .  .   . . ;. 9(9. 7,,L , .7L. 7,,L K7 )6L. !". 6. K, .7L. K7 .)L. !". *. K7 .-L. K. 3)L.  # # ? 3 6 *  #. 7. 7. 7,,L K7@ .6 L K.+ @) L K@) 6* L 7. 7 ,, 7 ,, 7 ,7 7 ,,. 7 ,7 7 ,7 7 ,) 7 ,.. 7 76 7 )7 33 7 @@. !"7.    .

(208) 

(209)  32  "4 ? 3. !"7. !".  #    ?. !" )0 (3 55 $ 6, 5. !" !" !". . .  . . . <# + 2!0    /      ?        C    <# - !  .  #   $            # .  #       . $

(210) <=

(211)

(212) 7 9 7,,L K, ).L K7* @+L K.. +)L 7 7 ,, 7 7+ 7 .7 76.

(213) =@> " )0 (3 55 $ 6, 5. " ". =*>. =6>. ,  . " ". =3>. " ". =+>. "  !"7. =-> . .  . . . =7,>. <# -  #    ?        C     #   # !  ! /        =77>.  ;2"1 ;2 5     !         $!   # <?

(214) F      #!. /  /   !   # !  /! # ! 3 6 D(      #  !   # !   !  $          #%   $        $  # !    $   !          $.    # #    ?1"? !       %     #  $.  !      $ D D  !   !      

(215)       .      

(216) F  !    $   % .  #    7 33  $   $  # .    C     77   $  /       #!   !     /!  !!  #     , ,7 &?%  ?   /!! !!/    .       ! %     !    ! #     / /!! ! &?  ?       %   !   !    #    . =7.>. =7)>. =7@> =7*>. =76>. =73> =7+> =7-> =.,>. E2;5"

(217) (92 5 D < E (DD   #    "$  A B% & '      #    5 D  9  % & '    !  &?  ? 5 D 9    % & '    !  <!? . =.7>. =..> =.)>. <2 =.@> =7>. =.> =)>.  ? !%  . %  ? 9% 

(218) ! D%  

(219) % H;    ! #       %I "

(220) #    A

(221) B% 7-    !  % .,7*%  73 ?  S ?   <! # ?   3*@ !  2

(222)  (?1% 2

(223) % .,73  9    <!% =;! > !$!  ///  F F F . =.*>.  9@ ? % =;! > !$!  ///  F F F F @   ?.   C %  9 ".  % H

(224)   C.  #  # !    %I  9% ! 73%  @%  *666% T! F# 7--3 !$   2 !!%   "#% H"/ /  @ $    C  %I  

(225) #%   !   . % ;  73% 7--- E T%    / 0! % H9    #  !#  /     ! !     %I #!%      A ";9B% .,7.       . <    !    %  7@6,7@6@% 2 .,7. J "%  5 % H !      #!   ! # C.   <?(%I < !?#$!    # 9 % 7--3 ?. # %  *  !   %  ..6.).%  7--3 ?1"??!! ! 1!  "/ /  =;! > !$!  /// ! !  #F

(226) %  ?!!% "% ! % H7-) 9;?F5 76. 9;?% , ).  7 7* ! # # 9!   !     #  ?!! !   C  !

(227) # ! ? #I%  !  4 4%  7)% .,76

(228)  %  ?!!% "% ! % H 6, (;?F5% 7 +   , -  $ $ 1"? !   .+  1:: <

(229) ; !#I% !  . !   % ! 773%  73,Q7+@% .,76 9 ( % ?  %  $ % ! % H    !    / 

(230) ?    !$!  

(231)  I%       "# !  #   % ! --% .,73 ;?;9?  ;  ? ;9? #% :9% =;! > !$!      /  $ F   F /M# UV3+6)  5 % E %        ! !  1 !  !      . . 9 3% .,73 2 ? T%  J#% 2 ? !% !% H      . !     ? # 1 %I      @@    % % T %.6 .,73  0D%

(232) % "% " : % H2    !$!   #  

(233).  " # /   9  $ I% 4   473,7 ,6@.,% .,73 

(234) 3*@ <! # ? 1 (<?1 F (<?1< 

(235)   . %   7 , )  !  (!  :%.,,- (<?1  &# ?  3*@ <! #? 1 % =;! > !$!  /// #!    &/ 9   9!%   ) + 7% 1    !  : D ! %

(236)  .,7* 4 5#%  9 ".  % H<!   $!      ! # !$   #$! / %I 9     #$! !#   % ! )%  )%  767)@ %  .,7, 4 <#% H$!   ! #   !%   C   G <?(  I% 9    % 2       : % 9 % # % .,7) <

(237)    : ?% H

(238) ##          /  <!?%I 

(239) # S     % .+A@B 7+.3% T! .,77  9%     2   !!% H#      #   %I   $ *-7,%   #! ? # !# %    %  !     4%  77.% .,,* 9 ( % 9  % < E (DD% " : % ! % H 6* 9; 6 @ .- .TF<";?8, +   !#  ! #     !    !    D  !   # ! !    ! I%

(240) #   ?    !     % ! *-%  +.+)% .,76  & ! %   ' % H9! !  / (      I% $# 1   ? % .,,).

(241)

Riferimenti

Documenti correlati

Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional

In the near-threshold operating range, where the body bias technique is more effective, RBB provides up to 10x reduction of leakage power, while FBB provides an increase of

We show that the celebrated robustness property of the linear regulator, namely the “internal model principle” stated by Francis, Wonham and Davison in the 70’s, can be generalized

Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional

In Table I , we can see the number oflogical lines of source code for the LARA strategies, as well as for the input code and generated output code (the SLoC-L columns).. In the last

We modify the standard approach and use a sequence of processing steps (cf. Figure 4): change detection, change indexes extraction, matrix generation, matrix multiplication, and

Il tramonto apparentemente de- finitivo di questo scenario, a fine Ottocento, in seguito al pensiero epocale di Nietzsche, da un lato frantuma l’orizzonte della disciplina, che si

By correlating local lattice tilts with the obtained crystal A symmetric reflection is typically used for the determinashape in three-dimensional slices, the distribution of