## s_b16, s_b32: ABC-Booth Multiplier Spectrum


## csa: CSA Multiplier 
### Commands: &polyn -v (first &r your.aig)

## axbxc: A * B * C  = Z
### Commands: &polyn -v (first &r your.aig)

## Author: Cunxi Yu, cunxi.yu@cornell.edu



### Reference ###

# Spectral Approach to Verifying Non-linear Arithmetic Circuits
# Cunxi Yu, Atif Yasin, Tiankai Su and Maciej Ciesielski
# ACM/IEEE Asia and South Pacific Design Automation Conference (ASP-DAC'19)

s_b16 = [2,  1,  3,  2,  
     4,  3,  5,  4,  6,  5,  7,  6,  
     8,  7,  9,  8,  9,  9,  9,  9,  8,  
     7,  7,  6,  6,  5,  5,  4,  4,  3,  2,  2]
s_b32 = [2,  1,  3,  2,  4,  3,  5,  4,  6,  5,  
         7,  6,  8,  7,  9,  8, 10,  9, 11, 10, 12, 11, 
         13, 12, 14, 13, 15, 14, 16, 15, 17, 16, 17, 17, 
         17, 17, 16, 15, 15, 14, 14, 13, 13, 12, 12, 11, 
         11, 10, 10,  9,  9,  8,  8,  7,  7,  6,  6,  
         5,  5,  4,  4,  3,  2,  2]
csa_16=[1,2,  3,  4,  5,  6,  7,  8,  
        9, 10, 11, 12, 13, 14, 15, 16, 15, 14, 13, 12, 
        11, 10,  9,  8,  7,  6,  5,  4,  3,  2,  1]
csa_32=[1, 2,  3,  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, 31, 30, 29, 
        28, 27, 26, 25, 24, 23, 22, 21, 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10,  
        9,  8,  7,  6,  5,  4,  3,  2,  1]
axbxc_16=[1,3,6,10,15,21,28,36,45,55,66,78,91,105,120,136,151,165,178,190,201,211,220,228,235,241,
          246,250,253,255,256,256,255,253,250,246,241,235,228,220,211,201,190,178,165,151,136,120,
          105,91,78,66,55,45,36,28,21,15,10,6,3,1]
axbxc_32=[1,3,6,10,15,21,28,36,45,55,66,78,91,105,120,136,153,171,190,210,231,253,276,300,325,351,
          378,406,435,465,496,528,559,589,618,646,673,699,724,748,771,793,814,834,853,871,888,904,
          919,933,946,958,969,979,988,996,1003,1009,1014,1018,1021,1023,1024,1024,1023,1021,1018,
          1014,1009,1003,996,988,979,969,958,946,933,919,904,888,871,853,834,814,793,771,748,724,
          699,673,646,618,589,559,528,496,465,435,406,378,351,325,300,276,253,231,210,190,171,153,
          136,120,105,91,78,66,55,45,36,28,21,15,10,6,3,1]