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