c45d51e950
Tracked down and fixed problems with implicit pins in verilog (pins
...
that are not declared in the verilog netlist because they don't
connect to anything, and their presence is not required by verilog
syntax) and the printing of proxy pins created to act as placeholders
for those implicit pins. Also removed the pinting of the "disconnected
pin" messages for black-box modules (since by definition they have
disconnected pins, because black-box modules have no contents).
2020-07-31 12:22:50 -04:00
46cdf48bc4
Updated the version to force the tarball and github mirror.
2020-07-30 08:10:09 -04:00
339a0d5d4e
Updated version to force the new tarball and github mirror.
2020-07-29 13:59:24 -04:00
251622c8bc
Corrected the routines DescendCountQueue and DescendCompareQueue
...
to include type CLASS_MODULE in the list of types to descend into,
since "module" (black-box) types need to be checked for pin
matching even if they have no contents. This allows two verilog
netlists to be compared against each other.
2020-07-24 20:50:07 -04:00
cca0e4b3f3
Corrected an error in bundle assignment that failed to make a copy
...
of the root name of the LHS net, and so would use the last root
name copied, which might have belonged to something entirely
different, or nothing at all.
2020-07-01 13:11:37 -04:00
cec6d89474
Corrected an uninitialized variable error in the verilog reading code
...
that produces a segfault condition.
2020-06-16 12:52:29 -04:00
9bcca3ac21
Corrected the verilog parsing (yet again!) so that it does not
...
mistakenly flag bus delimiter characters inside backslash-escaped
names when looking for bus delimiters.
2020-06-03 17:00:42 -04:00
da667c3b17
Corrected handling of wire bundles in the verilog parser.
2020-03-27 08:48:48 -04:00
18f230fc46
Changed the default string size for tmpstr in flattenInstancesOf
...
from 200 to 1024. Probably this should be dynamically allocated
and expanded as needed, as it is holding names that are of
increasing length as a hierarchy is descended and the instance
prefixes appended to the name.
2020-03-26 09:04:52 -04:00
0f5a618353
Corrected some problems with property matching in netcmp.c.
...
However, I have identified an issue that has not yet been resolved,
which is that there can be automorphisms that are potentially
broken by property matching. Currently, the automorphisms are
arbitrarily resolved, then properties are matched---and may fail
accordingly.
2020-03-10 21:39:41 -04:00
515fccc633
Corrected error in printing the name of a file when it is not found
...
in an "include" statement in either SPICE or verilog. Modified pin
matching behavior to force cells in both netlists to be marked as
black-box entries if either one is marked as a black-box entry (this
may not be needed, but shouldn't do any harm, either).
2020-03-05 09:41:22 -05:00
7d94a7d5f6
Updated VERSION for new tarball.
2020-03-04 21:06:21 -05:00
f7037fc9e6
Updated VERSION manually; checking regeneration of tarball.
2020-02-24 17:34:38 -05:00
027b4ae468
Test update of VERSION.
2020-02-24 16:38:56 -05:00
08a442fda2
Removed VERSION from .gitignore, and updated VERSION.
2020-02-24 11:50:38 -05:00
9e59048731
Update at Mon Jan 21 20:30:40 EST 2019 by tim
2019-01-21 20:30:40 -05:00
e361640947
Update at Wed Jan 9 20:31:54 EST 2019 by tim
2019-01-09 20:31:54 -05:00
f8ea27d8e8
Update at Mon Nov 19 08:12:57 EST 2018 by tim
2018-11-19 08:12:57 -05:00
d8eefdad9a
Update at Sun Nov 18 13:09:56 EST 2018 by tim
2018-11-18 13:09:56 -05:00
9432bfc182
Update at Wed Nov 14 13:46:12 EST 2018 by tim
2018-11-14 13:46:12 -05:00
7fc668c2d4
Update at Mon Nov 12 16:33:14 EST 2018 by tim
2018-11-12 16:33:14 -05:00
642de57418
Update at Wed Oct 31 14:05:09 EDT 2018 by tim
2018-10-31 14:05:09 -04:00
65c0f6b840
Update at Mon Oct 29 15:19:54 EDT 2018 by tim
2018-10-29 15:19:54 -04:00
b4c189a114
Update at Tue Oct 2 14:41:38 EDT 2018 by tim
2018-10-02 14:41:38 -04:00
83b2084a10
Update at Wed Sep 26 10:49:04 EDT 2018 by tim
2018-09-26 10:49:04 -04:00
a6742bca2e
Update at Mon Sep 24 15:13:30 EDT 2018 by tim
2018-09-24 15:13:30 -04:00
b911aa7b2e
Update at Wed Aug 8 11:28:43 EDT 2018 by tim
2018-08-08 11:28:43 -04:00
2d74b3d94b
Update at Wed Aug 1 15:44:32 EDT 2018 by tim
2018-08-01 15:44:32 -04:00
7bde5125fd
Update at Mon Jun 25 21:26:47 EDT 2018 by tim
2018-06-25 21:26:47 -04:00
f3d850e68e
Update at Sun Jun 17 15:06:17 EDT 2018 by tim
2018-06-17 15:06:17 -04:00
6eb1efd55a
Update at Fri Jun 1 08:47:33 EDT 2018 by tim
2018-06-01 08:47:33 -04:00
ced1299351
Update at Mon May 28 21:39:11 EDT 2018 by tim
2018-05-28 21:39:11 -04:00
f0eb14be5e
Update at Wed May 23 13:05:15 EDT 2018 by tim
2018-05-23 13:05:15 -04:00
84f984e7f0
Update at Tue May 1 14:08:16 EDT 2018 by tim
2018-05-01 14:08:16 -04:00
dfd1e59432
Update at Thu Apr 26 08:01:18 EDT 2018 by tim
2018-04-26 08:01:18 -04:00
7d113beada
Update at Wed Apr 25 15:03:16 EDT 2018 by tim
2018-04-25 15:03:16 -04:00
dc42e98ab9
Update at Mon Apr 16 15:43:23 EDT 2018 by tim
2018-04-16 15:43:23 -04:00
feab5023e5
Update at Thu Apr 12 17:13:41 EDT 2018 by tim
2018-04-12 17:13:41 -04:00
1d1ad3c833
Update at Thu Apr 5 10:10:44 EDT 2018 by tim
2018-04-05 10:10:44 -04:00
9ad6ad3338
Update at Wed Mar 28 12:40:15 EDT 2018 by tim
2018-03-28 12:40:15 -04:00
96a95d337f
Update at Mon Jan 29 13:26:39 EST 2018 by tim
2018-01-29 13:26:39 -05:00
1e8685128c
Update at Fri Jan 26 11:58:05 EST 2018 by tim
2018-01-26 11:58:05 -05:00
2a4c7b3cde
Update at Thu Dec 14 21:50:32 EST 2017 by tim
2017-12-14 21:50:32 -05:00
661157e041
Update at Thu Dec 7 08:46:40 EST 2017 by tim
2017-12-07 08:46:40 -05:00
bdb8917327
Update at Thu Oct 12 10:52:56 EDT 2017 by tim
2017-10-12 10:52:56 -04:00
7a947ee9be
Update at Tue Oct 10 22:25:49 EDT 2017 by tim
2017-10-10 22:25:49 -04:00
4809c02f79
Update at Thu Aug 24 09:51:44 EDT 2017 by tim
2017-08-24 09:51:44 -04:00
25c1f13e16
Update at Thu Aug 10 22:41:12 EDT 2017 by tim
2017-08-10 22:41:12 -04:00
f0eec657a3
Update at Wed Aug 9 09:04:43 EDT 2017 by tim
2017-08-09 09:04:43 -04:00
5ed3fcb3f1
Update at Thu Jun 22 08:12:59 EDT 2017 by tim
2017-06-22 08:13:00 -04:00
Tim Edwards
Tim Edwards