Platforms:

==========

Version 10.09.14s is released on:

- Linux64 with Reprise Software License Management (RLM).

Enhancements

===========

1. Support for reducing sizes of inputs of modules to be formally checked for equivalence according to the algorithm presented by Theo A. Drane and George A. Constantinides in the paper titled "Leap in the formal Verifcation of Datapath" presented at the 47th DAC.

2. Support for pseudo inversion of cartesian and polar matrixes in variable precision.

Bug fixes

=========

1. Fixed bug in variable precison division of complex matrices.

10.09.14s Release date: 08/09/2019

10.08.150s Release date: 02/18/2018

10.08.114s Release date: 10/13/2017

10.08.100s Release date: 8/27/2017

10.08.91 Release date: 6/28/2017

10.08.47 Release date: 7/5/2016

10.08.38 Release date: 3/28/2016

10.08.37 Release date: 3/27/2016

10.08.36 Release date: 3/24/2016

10.08.31 Release date: 2/23/2016

10.08.24 Release date: 1/10/2016

10.08.20 Release date: 1/5/2016

10.08.16 Release date: 12/30/2015

10.08.15 Release date: 12/29/2015

10.08.10 Release date: 11/15/2015

10.08.07 Release date: 8/23/2015

10.08.07 Release date: 8/23/2015

10.08.07 Release date: 8/23/2015

10.08.07 Release date: 8/23/2015

10.08.07 Release date: 8/23/2015

10.08.07 Release date: 8/23/2015

10.08.07 Release date: 8/23/2015

10.08.07 Release date: 8/23/2015

10.08.07 Release date: 8/23/2015

10.08.07 Release date: 8/23/2015

10.08.07 Release date: 8/23/2015

10.08.01 Release date: 5/4/2015

10.07.199.rlm Release date: 4/5/2015

10.07.198.rlm Release date: 4/5/2015

10.07.197.rlm Release date: 3/18/2015

10.07.196.rlm Release date: 3/13/2015

10.07.195.rlm Release date: 2/26/2015

10.07.194 Release date: 2/24/2015

10.07.194.rlm Release date: 2/22/2015

10.07.192.rlm Release date: 2/10/2015

10.07.191.rlm Release date: 2/9/2015

10.07.190 Release date: 1/26/2015

10.07.190.rlm Release date: 1/26/2015

10.07.188.rlm Release date: 1/22/2015

10.07.185 Release date: 11/19/2014

10.07.185.rlm Release date: 11/18/2014

10.07.183.rlm Release date: 11/6/2014

10.07.179.rlm Release date: 11/2/2014

10.07.170 Release date: 8/26/2014

10.07.167 Release date: 7/10/2014

10.07.166 Release date: 7/3/2014

10.07.165 Release date: 6/25/2014

10.07.164 Release date: 6/18/2014

10.07.163 Release date: 6/11/2014

10.07.163 Release date: 5/29/2014

10.07.162 Release date: 5/15/2014

10.07.159 Release date: 5/12/2014

10.07.158 Release date: 5/9/2014

10.07.157 Release date: 5/7/2014

10.07.156 Release date: 5/6/2014

10.07.155 Release date: 5/5/2014

10.07.154 Release date: 5/2/2014

10.07.153 Release date: 4/30/2014

10.07.153 Release date: 4/29/2014

10.07.152 Release date: 4/28/2014

10.07.151 Release date: 4/25/2014

10.07.151 Release date: 4/24/2014

10.07.150 Release date: 4/23/2014

10.07.149 Release date: 4/22/2014

10.07.148 Release date: 4/18/2014

10.07.146 Release date: 4/15/2014

10.07.142 Release date: 4/3/2014

10.07.141 Release date: 4/2/2014

10.07.140 Release date: 4/1/2014

10.07.138 Release date: 3/21/2014

10.07.136 Release date: 3/3/2014

10.07.134 Release date: 2/24/2014

10.07.133 Release date: 2/21/2014

10.07.132 Release date: 2/20/2014

10.07.131 Release date: 2/17/2014

10.07.130 Release date: 2/17/2014

10.07.129 Release date: 2/13/2014

10.07.128 Release date: 2/7/2014

10.07.127 Release date: 2/6/2014

10.07.125 Release date: 2/5/2014

10.07.124 Release date: 1/30/2014

10.07.123 Release date: 1/22/2014

10.07.122 Release date: 1/21/2014

10.07.121 Release date: 1/15/2014

10.07.120 Release date: 1/10/2014

10.07.119 Release date: 1/9/2014

10.07.118 Release date: 1/9/2014

10.07.117 Release date: 1/8/2014

10.07.116 Release date: 12/22/2013

10.07.115 Release date: 12/11/2013

10.07.114 Release date: 11/27/2013

10.07.113 Release date: 11/1/2013

10.07.112 Release date: 10/4/2013

10.07.110 Release date: 10/2/2013

10.07.108.64.opteron Release date: 9/18/2013

10.07.108 Release date: 9/17/2013

10.07.105c Release date: 9/4/2013

10.07.105 Release date: 9/1/2013

10.07.104 Release date: 8/29/2013

10.07.101 Release date: 8/13/2013

10.07.100.64.opteron Release date: 8/9/2013

10.07.99.64.opteron Release date: 8/8/2013

10.07.97 Release date: 7/26/2013

10.07.97.64.opteron Release date: 7/25/2013

10.07.95 Release date: 6/27/2013

10.07.93 Release date: 6/20/2013

10.07.90 Release date: 5/3/2013

10.07.89 Release date: 4/23/2013

10.07.87 Release date: 2/1/2013

10.07.86 Release date: 10/12/2012

10.07.84 Release date: 10/1/2012

10.07.78 Release date: 9/4/2012

10.07.77 Release date: 9/3/2012

10.07.75 Release date: 8/29/2012

10.07.73 Release date: 8/28/2012

10.07.72 Release date: 8/27/2012

10.07.71 Release date: 8/26/2012

10.07.69 Release date: 8/23/2012

10.07.65 Release date: 7/18/2012

10.07.64 Release date: 6/29/2012

10.07.63 Release date: 6/24/2012

10.07.62 Release date: 6/23/2012

10.07.60 Release date: 6/21/2012

10.07.58 Release date: 6/18/2012

10.07.57 Release date: 6/15/2012

10.07.56 Release date: 6/14/2012

10.07.55 Release date: 6/13/2012

10.07.54 Release date: 6/12/2012

10.07.51 Release date: 6/2/2012

10.07.50 Release date: 6/1/2012

10.07.49 Release date: 5/29/2012

10.07.48 Release date: 5/25/2012

10.07.47 Release date: 5/24/2012

10.07.45 Release date: 5/22/2012

10.07.42 Release date: 5/17/2012

10.07.39 Release date: 5/6/2012

10.07.32 Release date: 3/6/2012

10.07.31 Release date: 2/22/2012

10.07.31 Release date: 2/22/2012

10.07.28 Release date: 2/9/2012

10.07.25 Release date: 1/23/2012

10.07.21 Release date: 12/7/2011

10.07.17 Release date: 11/18/2011

10.07.15 Release date: 10/15/2011

10.07.14 Release date: 10/13/2011

10.07.13 Release date: 10/11/2011

10.07.11 Release date: 9/30/2011

10.07.07 Release date: 9/14/2011

10.07.04 Release date: 4/11/2011

10.07.02 Release date: 3/9/2011

10.07.01 Release date: 3/8/2011

10.05.99 Release date: 3/6/2011

10.05.96 Release date: 2/22/2011

10.05.94 Release date: 2/21/2011

10.05.92 Release date: 2/17/2011

10.05.86 Release date: 12/26/2010

10.05.80 Release date: 10/28/2010

10.05.77 Release date: 10/17/2010

10.05.76 Release date: 10/15/2010

10.05.73 Release date: 10/12/2010

10.05.53 Release date: 8/30/2010

10.05.50 Release date: 8/26/2010

10.05.44 Release date: 7/1/2010

10.05.33 Release date: 5/3/2010

10.05.29 Release date: 4/26/2010

10.05.04 Release date: 1/18/2010

10.04.57 Release date: 12/15/2009

10.04.52 Release date: 11/11/2009

10.04.51 Release date: 11/6/2009

10.04.48 Release date: 11/2/2009

10.04.38 Release date: 10/26/2009

10.04.35 Release date: 9/24/2009

10.04.31 Release date: 9/22/2009

10.04.26 Release date: 9/1/2009

10.04.23 Release date: 8/27/2009

10.04.22 Release date: 8/25/2009

10.04.15 Release date: 8/6/2009

10.04.13 Release date: 8/5/2009

10.04.11 Release date: 7/29/2009

10.04.10 Release date: 7/29/2009

10.04.08 Release date: 7/23/2009

10.03.28 Release date: 6/29/2009

10.03.26 Release date: 6/25/2009

10.03.25 Release date: 6/24/2009

10.03.24 Release date: 6/23/2009

10.03.20 Release date: 6/19/2009

10.03.17 Release date: 6/18/2009

10.03.12 Release date: 6/11/2009

10.03.10 Release date: 6/9/2009

10.03.05 Release date: 6/7/2009

10.03.03 Release date: 6/7/2009

10.03.02 Release date: 6/6/2009

10.03.00 Release date: 5/31/2009

10.02.15 Release date: 5/25/2009

10.02.11 Release date: 5/21/2009

10.02.10 Release date: 5/19/2009

10.02.07 Release date: 5/12/2009

10.02.03 Release date: 5/8/2009

10.01.50 Release date: 4/27/2009

10.01.47 Release date: 4/24/2009

10.01.46 Release date: 4/24/2009

10.01.45 Release date: 4/22/2009

10.01.41 Release date: 4/15/2009

10.01.40 Release date: 4/14/2009

10.01.39 Release date: 4/12/2009

10.01.38 Release date: 4/7/2009

10.01.37 Release date: 4/2/2009

10.01.32 Release date: 3/27/2009

10.01.31 Release date: 3/26/2009

10.01.28 Release date: 3/20/2009

10.01.24 Release date: 3/17/2009

10.01.21 Release date: 3/15/2009

10.01.19 Release date: 3/12/2009

10.01.17 Release date: 3/11/2009

10.01.16 Release date: 3/10/2009

10.01.15 Release date: 3/9/2009

10.01.14 Release date: 3/8/2009

10.01.09 Release date: 3/3/2009

10.01.05 Release date: 2/18/2009

10.01.01 Release date: 2/9/2009

10.01.00 Release date: 1/21/2009

10.0.07 Release date: 1/20/2009

10.0.6 Release date: 12/3/2008

10.0.05 Release date: 11/4/2008

10.0.04 Release date: 11/3/2008

10.0.03 Release date: 9/9/2008

10.0.02 Release date: 9/2/2008

9.3.58 Release date: 7/25/2008

9.3.57 Release date: 7/16/2008

9.3.52 Release date: 7/1/2008

9.3.51.NSC Release date: 6/20/2008

9.3.51 Release date: 6/20/2008

9.3.50.NSC Release date: 6/15/2008

9.3.50 Release date: 6/15/2008

9.3.49 Release date: 6/6/2008

9.3.48 Release date: 6/3/2008

9.3.47 Release date: 5/30/2008

9.3.46 Release date: 5/26/2008

9.3.45 Release date: 5/22/2008

9.3.44.NSC Release date: 5/19/2008

9.3.44 Release date: 5/16/2008

9.3.43 Release date: 5/15/2008

9.3.42 Release date: 5/12/2008

9.3.41 Release date: 5/9/2008

9.3.40.NSC Release date: 5/5/2008

9.3.39 Release date: 5/4/2008

9.3.38.NSC Release date: 4/24/2008

9.3.38 Release date: 4/24/2008

9.3.37.NSC Release date: 4/22/2008

9.3.37 Release date: 4/22/2008

9.3.36.NSC Release date: 4/16/2008

9.3.36 Release date: 4/16/2008

9.3.35.NSC Release date: 4/10/2008

9.3.35 Release date: 4/9/2008

9.3.34.NSC Release date: 4/8/2008

9.3.34 Release date: 4/7/2008

9.3.33 Release date: 4/1/2008

9.3.32 Release date: 3/28/2008

9.3.31 Release date: 3/27/2008

9.3.30 Release date: 3/19/2008

9.3.29.NSC Release date: 3/4/2008

9.3.29 Release date: 3/3/2008

9.3.28 Release date: 2/27/2008

9.3.27 Release date: 2/27/2008

9.3.26 Release date: 2/21/2008

9.3.25 Release date: 2/19/2008

9.3.23 Release date: 2/6/2008

9.3.22.NSC Release date: 2/5/2008

9.3.22 Release date: 2/4/2008

9.3.20 Release date: 1/29/2008

9.3.19.NSC Release date: 1/29/2008

9.3.19 Release date: 1/28/2008

9.3.18 Release date: 1/22/2008

9.3.17 Release date: 1/21/2008

9.3.16 Release date: 1/21/2008

9.3.15.NSC Release date: 1/20/2008

9.3.14 Release date: 1/20/2008

9.3.14.NSC Release date: 1/18/2008

9.3.13 Release date: 1/18/2008

9.3.12 Release date: 1/17/2008

9.3.11 Release date: 1/17/2008

9.3.10.NSC Release date: 1/10/2008

9.3.10 Release date: 1/10/2008

9.3.8 Release date: 12/26/2007

9.3.7 Release date: 12/23/2007

9.3.6 Release date: 12/23/2007

9.3.5.NSC Release date: 12/20/2007

9.3.4 Release date: 12/18/2007

9.2.9.NSC Release date: 11/27/2007

9.2.9 Release date: 11/26/2007

9.2.8 Release date: 11/6/2007

9.2.5 Release date: 9/18/2007

9.2.4.NSC Release date: 8/21/2007

9.2.4 Release date: 8/21/2007

9.2.3 Release date: 8/9/2007

9.2.2 Release date: 8/2/2007

9.2.1 Release date: 8/2/2007

9.2.0 Release date: 7/31/2007

9.1.11 Release date: 6/14/2007

9.1.9 Release date: 6/8/2007

9.1.8 Release date: 5/25/2007

9.1.7 Release date: 5/23/2007

9.1.5 Release date: 5/10/2007

9.1.4 Release date: 5/3/2007

9.1.3 Release date: 5/2/2007

9.1.2 Release date: 4/23/2007

9.1.1 Release date: 4/21/2007

9.1.1 Release date: 4/21/2007

9.1.0 Release date: 4/15/2007

9.0.7 Release date: 4/8/2007

9.0.5 Release date: 3/23/2007

9.0.4 Release date: 3/15/2007

9.0.3 Release date: 3/9/2007

9.0.2 Release date: 3/7/2007

8.5.11 Release date: 3/1/2007

8.5.10 Release date: 2/26/2007

8.5.9 Release date: 2/19/2007

8.5.7 Release date: 2/15/2007

8.5.3 Release date: 2/12/2007

8.5.0 Release date: 2/8/2007

8.4.3 Release date: 2/6/2007

8.4.2 Release date: 1/28/2007

8.4.1 Release date: 1/17/2007

8.4.0 Release date: 1/12/2007

8.3.6 Release date: 12/26/2006

8.3.5 Release date: 12/24/2006

8.3.4 Release date: 12/15/2006

8.3.3 Release date: 12/15/2006

8.3.2 Release date: 12/14/2006

8.3.1 Release date: 12/12/2006

8.2.18 Release date: 12/7/2006

8.2.17 Release date: 12/6/2006

8.2.16 Release date: 12/5/2006

8.2.13 Release date: 12/3/2006

8.2.12 Release date: 11/30/2006

8.2.11 Release date: 11/29/2006

8.2.10 Release date: 11/28/2006

8.2.9 Release date: 11/27/2006

8.2.6 Release date: 11/22/2006

8.2.5 Release date: 11/21/2006

8.2.3 Release date: 11/8/2006

8.2.2 Release date: 11/2/2006

8.2.1 Release date: 10/26/2006

8.1.6 Release date: 10/20/2006

8.1.1 Release date: 9/28/2006

8.1.0 Release date: 9/26/2006

8.0.8 Release date: 9/14/2006

8.0.7 Release date: 9/11/2006

8.0.6 Release date: 9/6/2006

8.0.5 Release date: 8/30/2006

8.0.4 Release date: 8/22/2006

8.0.1 Release date: 8/14/2006

8.0.0 Release date: 7/20/2006

7.1.04 Release date: 6/27/2006

7.1.03 Release date: 5/17/2006

7.1.01 Release date: 5/12/2006

7.1.0 Release date: 5/8/2006

7.0.19 Release date: 5/3/2006

7.0.18 Release date: 4/14/2006

7.0.17 Release date: 4/10/2006

7.0.16 Release date: 4/7/2006

7.0.15 Release date: 3/27/2006

7.0.14 Release date: 3/24/2006

7.0.13 Release date: 3/22/2006

7.0.12 Release date: 3/20/2006

7.0.10 Release date: 3/16/2006

7.0.9 Release date: 3/14/2006

7.0.8 Release date: 12/28/2005

7.0.7 Release date: 12/19/2005

7.0.6 Release date: 12/16/2005

7.0.5 Release date: 12/15/2005

7.0.4 Release date: 12/12/2005

7.0.0 Release date: 11/17/2005

6.2.09 Release date: 8/3/2005

6.2.06 Release date: 7/29/2005

6.2.05 Release date: 7/20/2005

6.1.04 Release date: 6/24/2005

6.1.02 Release date: 6/8/2005

6.1.1 Release date: 6/4/2005

6.1.0 Release date: 5/10/2005

6.0.12 Release date: 4/7/2005

6.0.11 Release date: 2/25/2005

6.0.10 Release date: 2/15/2005

6.0.09 Release date: 1/28/2005

6.0.08 Release date: 1/11/2005

6.0.07 Release date: 12/2/2004

6.0.06 Release date: 11/23/2004

6.0.05 Release date: 8/20/2004

6.0.04 Release date: 8/16/2004

6.0.03 Release date: 8/2/2004

6.0.02 Release date: 7/2/2004

6.0.01 Release date: 6/16/2004

6.0.00 Release date: 5/31/2004

5.0.24 Release date: 4/27/2004

5.0.23 Release date: 4/1/2004

5.0.22 Release date: 3/5/2004

5.0.21 Release date: 2/19/2004

5.0.20 Release date: 2/4/2004

5.0.19 Release date: 1/16/2004

5.0.18 Release date: 12/18/2003

5.0.17 Release date: 12/9/2003

5.0.16 Release date: 11/26/2003

5.0.15 Release date: 11/7/2003

5.0.14 Release date: 11/5/2003

5.0.13 Release date: 10/29/2003

5.0.12 Release date: 10/24/2003

5.0.11 Release date: 10/21/2003

5.0.10 Release date: 10/16/2003

5.0.09 Release date: 10/7/2003

5.0.08 Release date: 10/2/2003

5.0.07 Release date: 9/25/2003

5.0.06 Release date: 9/12/2003

5.0.05 Release date: 8/22/2003

5.0.04 Release date: 7/21/2003

5.0.03 Release date: 7/1/2003

5.0.02 Release date: 6/13/2003