luke
/
netgen
mirror of https://github.com/RTimothyEdwards/netgen.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
netgen/base
History
Tim Edwards 5e99fd5ef9 Found a counterexample which shows that the fast symmetry breaking 
introduced in revision 150 can result in an incorrect result
reporting a bad match where the match is actually good (as proven
by running the full symmetry breaking on the same netlist).
Because the fast symmetry breaking is orders of magnitude faster
for large circuits, and because the false positive result appears
to be rare, I have introduced a command "symmetry" to switch
methods between fast and full.  So fast symmetry breaking can be
run unless the result fails on symmetry breaking, in which case
the method can be switched to full to see if the problem is a
false positive or not.  This is not an ideal solution, and some
investigation is needed to determine if there is a way to apply
fast symmetry breaking without encountering a false positive
error.
 		2020-10-08 09:43:25 -04:00
..
Depend Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
Makefile Added new handling for verilog structural netlists, and fixed 2018-04-12 17:09:10 -04:00
actel.c Overhaul of the hash table method. Original method used global 2016-06-23 10:13:18 -04:00
actellib.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
anneal.c Removed all instances of macro INLINE, as this is showing up now 2016-10-24 13:42:08 -04:00
bottomup.c Removed all instances of macro INLINE, as this is showing up now 2016-10-24 13:42:08 -04:00
ccode.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
config.h Removed all instances of macro INLINE, as this is showing up now 2016-10-24 13:42:08 -04:00
dbug.h Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
embed.c Corrected missing tcl.h includes, which are needed in files that 2018-06-17 15:05:15 -04:00
embed.h Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
ext.c Added new handling for verilog structural netlists, and fixed 2018-04-12 17:09:10 -04:00
flatten.c Changed the default string size for tmpstr in flattenInstancesOf 2020-03-26 09:04:52 -04:00
greedy.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
hash.c Corrected missing tcl.h includes, which are needed in files that 2018-06-17 15:05:15 -04:00
hash.h Corrected a number of function returns, mainly to avoid compile- 2018-01-26 11:56:41 -05:00
inetcomp.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
netcmp.c Found a counterexample which shows that the fast symmetry breaking 2020-10-08 09:43:25 -04:00
netcmp.h Found a counterexample which shows that the fast symmetry breaking 2020-10-08 09:43:25 -04:00
netfile.c Corrected the routines DescendCountQueue and DescendCompareQueue 2020-07-24 20:50:07 -04:00
netfile.h Corrected the routines DescendCountQueue and DescendCompareQueue 2020-07-24 20:50:07 -04:00
netgen.c Corrected two instances of missing values on return from a function. 2018-11-19 08:12:12 -05:00
netgen.h Fairly substantial overhaul of the tokenizing routine to better 2019-01-09 20:26:38 -05:00
ntk.c Corrected missing tcl.h includes, which are needed in files that 2018-06-17 15:05:15 -04:00
objlist.c Corrected problems with the port count routine not being specified 2020-10-07 21:32:07 -04:00
objlist.h Corrected problems with the port count routine not being specified 2020-10-07 21:32:07 -04:00
pdutils.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
pdutils.h Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
place.c Corrected problems with the port count routine not being specified 2020-10-07 21:32:07 -04:00
print.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
print.h Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
proto.h Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
query.c Corrected problems with the port count routine not being specified 2020-10-07 21:32:07 -04:00
query.h Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
random.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
regexp.h Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
spice.c Made several corrections to handling of proxy pins when matching 2020-07-30 22:51:34 -04:00
test.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
timing.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
timing.h Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
verilog.c Corrected a bounds check on sub-arrays inside bundles, that prevents 2020-08-03 22:57:19 -04:00
wombat.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
xilinx.c Corrected a number of function returns, mainly to avoid compile- 2018-01-26 11:56:41 -05:00
xillib.c Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00
xnetgen.c Fixed a bug in the combine routine that causes a segfault; added 2017-01-07 06:56:51 -05:00
xnetgen.h Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00