019d61f633
Get self-determined unary - width right.
2006-05-19 04:44:55 +00:00
a8b86ea3bb
More explicit datatype setup.
2006-05-01 20:47:58 +00:00
0c9fb766b6
Get the data type of part select results right.
2006-04-30 05:17:48 +00:00
47b72c3b74
Handle padding of MUX net results.
2006-04-28 05:09:51 +00:00
a2c036d5ab
Allow concatenations as arguments to inout ports.
2006-04-28 04:28:35 +00:00
c2ff3d501c
Fix support for indexed part select in continuous assign l-values.
2006-04-24 05:15:07 +00:00
decfbff2b1
Clean up index expression error message.
2006-04-10 00:32:14 +00:00
d434dd7296
Allow part selects of memory words in l-values.
2006-02-02 02:43:57 +00:00
58f182a159
Node delays can be more general expressions in structural contexts.
2006-01-02 05:33:19 +00:00
07f345da4d
Logical or/and return VT_LOGIC type.
2005-10-11 16:15:52 +00:00
21af0dbe3f
Fix data type of parameters to logic.
2005-09-19 15:21:09 +00:00
7235706923
Make sure div, mod and mult nodes have line number info.
2005-09-15 23:04:09 +00:00
4dfdc147c5
fit type elaboration of logical not.
2005-09-14 15:15:44 +00:00
4902c222fb
Check operand types for compatibility.
2005-09-01 04:10:47 +00:00
b69f59f2ec
Handle memory references is continuous assignments.
2005-08-31 05:07:31 +00:00
4a8be3db9c
Implement bi-directional part selects.
2005-08-06 17:58:16 +00:00
9a16e030b5
Match data type of PV select input/output.
2005-07-15 04:13:25 +00:00
d353ddb660
Get output type correct for binary mux (ternary) expression.
2005-07-15 00:42:02 +00:00
b9799cf6ec
Remove NetVariable and ivl_variable_t structures.
2005-07-11 16:56:50 +00:00
75ad90534b
Generalize signals to carry types.
2005-07-07 16:22:49 +00:00
739a1839ed
Do sign extension of structuran nets.
2005-05-24 01:44:27 +00:00
06e08dbdf0
Make sure comparison widths match.
2005-05-19 03:51:38 +00:00
c34e44dad0
Make sig-eq-constant optimization more effective.
2005-05-10 05:10:40 +00:00
7dd0d255a6
Add support for variable part select.
2005-05-08 23:40:14 +00:00
d548c9a5f8
Handle synthesis of concatenation expressions.
2005-05-06 00:25:13 +00:00
e8a6835d36
Make clear that memory addresses are cannonical.
2005-04-08 04:52:31 +00:00
65c7ec00e7
Rework NetRamDq and IVL_LPM_RAM nodes.
2005-04-06 05:29:08 +00:00
8184dfaed8
Handle wide operands to logical AND.
2005-03-19 06:59:53 +00:00
ca488dff4e
Handle LPM shifts.
2005-03-19 06:23:49 +00:00
53da6e9a33
Add support for LPM_UFUNC user defined functions.
2005-03-18 02:56:03 +00:00
0f914bf35a
UPdate elabrate continuous assighn of string to net.
2005-03-13 01:26:48 +00:00
ab1ca54df2
Update support for LPM_MOD.
2005-03-12 06:43:35 +00:00
1c5b4881d7
Handle case inequality in netlists.
2005-03-09 05:52:03 +00:00
257e1f9516
Support shifts and divide.
2005-02-19 02:43:38 +00:00
d74177634c
Restructure NetMux devices to pass vectors.
...
Generate NetMux devices from ternary expressions,
Reduce NetMux devices to bufif when appropriate.
2005-02-12 06:25:40 +00:00
97f83ffbe3
laborate reduction gates into LPM_RED_ nodes.
2005-02-03 04:56:20 +00:00
20be0351ae
Elaborate unary subtract and NOT in netlist
...
contexts, and concatenation too.
2005-01-30 05:20:38 +00:00
609b6a7baa
Netlist boolean expressions generate gate vectors.
2005-01-29 18:46:18 +00:00
e04fb5c083
Elaborate parameter reference to desired width without concats.
2005-01-29 16:46:22 +00:00
ade5bdcafe
Integrate pr1072 fix from v0_8-branch.
2005-01-29 00:37:06 +00:00
99ace10774
Simplified NetMult and IVL_LPM_MULT.
2005-01-28 05:39:33 +00:00
25de448d34
Remove obsolete NetSubnet class.
2005-01-22 18:16:00 +00:00
e28636776a
Change case compare from logic to an LPM node.
2005-01-22 01:06:55 +00:00
bf6a5d0f50
Implement LPM_COMPARE nodes as two-input vector functors.
2005-01-16 04:20:32 +00:00
ead2481793
Fix elaboration of == compared to constants.
2005-01-13 00:23:10 +00:00
9e94afe399
Use PartSelect/PV and VP to handle part selects through ports.
2005-01-09 20:16:00 +00:00
65e9b6be12
Rework of internals to carry vectors through nexus instead
...
of single bits. Make the ivl, tgt-vvp and vvp initial changes
down this path.
2004-12-11 02:31:25 +00:00
51dd41f81a
Fix excessive error message.
2004-10-04 03:09:38 +00:00
e4ae832153
Clean up spurious trailing white space.
2004-10-04 01:10:51 +00:00
2abdcfcaa4
Error message to match assertion.
2004-10-04 00:25:46 +00:00
180bfc5e72
Detect and prevent implicit declaration of hierarchical names.
2004-09-24 04:25:19 +00:00
7f67afe9d5
Add support for $unsigned.
2004-08-28 15:42:11 +00:00
3dbc07f34d
Implement signed divide and signed right shift in nets.
2004-06-30 02:16:26 +00:00
9ee0210cac
Code cleanup from Larry.
2004-06-24 15:22:23 +00:00
69cfdbdc54
Fix broken calcuation of NE for constant.
2004-06-22 18:41:48 +00:00
03d7448550
compare-to-constant uses sig len, not val len.
2004-06-18 16:38:22 +00:00
fd371a3958
Handle equality compare to constants specially.
2004-06-16 23:32:58 +00:00
9949040285
Add support for the default_nettype directive.
2004-06-13 04:56:53 +00:00
ba309e60bb
Fix synthesis method for logical and/or
2004-06-01 01:04:57 +00:00
5472b27e1f
Rewire/generalize parsing an elaboration of
...
function return values to allow for better
speed and more type support.
2004-05-31 23:34:36 +00:00
177b6ffb6a
Addtrbute keys are perm_strings.
2004-02-20 18:53:33 +00:00
27af95d402
Use perm_strings for named langiage items.
2004-02-18 17:11:54 +00:00
2f8a40b159
Fix evaluation of compare to constant expression.
2004-02-15 04:23:48 +00:00
930e5137ac
Catch real variables in net expressions.
2003-10-30 04:31:34 +00:00
8dab4c6b53
memory index need not be self determined width.
2003-10-20 01:44:28 +00:00
d1f0bcf620
Catch unsized expressions in continuous assigns.
2003-09-23 03:31:28 +00:00
693794552c
Remove find_memory method from Design class.
2003-09-19 03:50:12 +00:00
31c0a9dcd1
Missing case warnings.
2003-09-13 01:30:07 +00:00
ca0a9faa90
Only build a mux as wide as can be selected.
2003-09-03 04:29:18 +00:00
7c1401a2ba
Spelling patch.
2003-08-28 04:11:17 +00:00
c96598a429
Primitive outputs have same limitations as continuous assignment.
2003-08-05 03:01:58 +00:00
61195c5daa
Harmless fixup of warnings.
2003-06-21 01:21:42 +00:00
76295ac873
More complete bit range internal error message,
...
Better test of part select ranges on non-zero
signal ranges.
2003-05-01 01:13:57 +00:00
5d1d99a89f
Handle signed magnitude compare all the
...
way through to the vvp code generator.
2003-04-11 05:18:08 +00:00
d18934d444
Sign extend NetMult inputs if result is signed.
2003-03-29 05:51:25 +00:00
4e182ebf67
Some better internal error messages.
2003-03-26 06:16:38 +00:00
1222153cdf
Keep parameter constants for the ivl_target API.
2003-03-10 23:40:53 +00:00
badad63ab4
All NetObj objects have lex_string base names.
2003-03-06 00:28:41 +00:00
a275133ff9
LPM objects store only their base names.
2003-02-26 01:29:24 +00:00
8f0c02c0fa
Spelling fixes.
2003-01-27 05:09:17 +00:00
07a427bf28
Detect null arguments to concatenation operator.
2003-01-19 00:35:39 +00:00
ca3bf14fb6
Remove useless variable.
2003-01-17 05:48:35 +00:00
c032186133
Reword some error messages for clarity.
2002-12-06 03:08:19 +00:00
cfd8cbf850
Port expressions for output ports are lnets, not nets.
2002-11-09 19:20:48 +00:00
3d3116d48b
Add support for binary NOR operator.
2002-09-18 04:29:55 +00:00
dac99b9374
Add support for binary nand operator.
2002-09-12 15:49:43 +00:00
447fee6f43
Fix padding of operand of unary minus.
2002-09-08 01:37:13 +00:00
7b6678b2a1
Fix reverse bit ordered bit select in continuous assignment.
2002-08-31 03:48:50 +00:00
63f97d8ec6
Carry mux output delays.
2002-08-21 02:28:03 +00:00
640767b748
Constants can self-size themselves in unsized contexts.
2002-08-14 03:57:27 +00:00
52bf4e613f
conditional ident string using autoconfig.
2002-08-12 01:34:58 +00:00
693e9e5ad0
Store only the base name of memories.
2002-08-05 04:18:45 +00:00
301040a67a
Avoid emitting to vvp local net symbols.
2002-07-05 21:26:17 +00:00
b6a15b2f4d
Wide unary minus in continuous assignments.
2002-06-22 04:22:40 +00:00
cd94019733
Remove NetTmp and add NetSubnet class.
2002-06-19 04:20:03 +00:00
e6c0629626
Add language support for Verilog-2001 attribute
...
syntax. Hook this support into existing $attribute
handling, and add number and void value types.
Add to the ivl_target API new functions for access
of complex attributes attached to gates.
2002-05-23 03:08:50 +00:00
9ef49379f4
Add support for non-constant bit select.
2002-04-23 03:53:59 +00:00
0976fd393b
Do not allow implicit wires in sensitivity lists.
2002-04-22 00:53:39 +00:00
b7c2bd4f72
Add the NetUserFunc netlist node.
2002-03-09 02:10:22 +00:00
5f09e01a44
No implicit declaration in assign l-values.
2002-01-23 05:23:17 +00:00
dd79885f6d
Add structural modulus support down to vvp.
2002-01-03 04:19:01 +00:00
4bb91c4f98
Elaborate multiply nets with constant operands ad NetConst.
2001-12-31 04:23:59 +00:00
03aebd7525
Support elaborate_net for PEString objects.
2001-12-30 21:32:03 +00:00
ab6c8cb4b8
Parser and pform use hierarchical names as hname_t
...
objects instead of encoded strings.
2001-12-03 04:47:14 +00:00
4d0b840c26
Coerse input to inout when assigned to.
2001-11-10 02:08:49 +00:00
7793a49854
Remove string paths from PExpr elaboration.
2001-11-08 05:15:50 +00:00
6bfbcbdcf7
elaborate_lnet uses scope instead of string path.
2001-11-07 04:26:46 +00:00
bf72f39fe9
eval_const uses scope instead of a string path.
2001-11-07 04:01:59 +00:00
874bab10e4
NetObj constructor finally requires a scope.
2001-10-28 01:14:53 +00:00
177fa4062b
Support IVL_LPM_DIVIDE for structural divide.
2001-10-16 02:19:26 +00:00
176be94be9
dead code.
2001-09-14 04:20:49 +00:00
3c8d598eed
Elaborate == to NetCompare instead of XNOR and AND
...
gates. This allows code generators to generate
better code in certain cases.
2001-09-14 04:16:52 +00:00
b825f8d2b2
Create a config.h.in file to hold all the config
...
junk, and support gcc 3.0. (Stephan Boettcher)
2001-07-25 03:10:48 +00:00
b8c5aff0cb
Generate !== an an inverted ===
2001-07-07 04:37:18 +00:00
bcaa122fb9
handle left shifter in dll output.
2001-07-04 22:59:25 +00:00
eeabc7234c
Make sure tmp net gets connected to ramdq output
2001-07-01 23:37:48 +00:00
4b82d26f5e
Add support for structural multiply in t-dll.
...
Add code generators and vvp support for both
structural and behavioral multiply.
2001-06-16 23:45:05 +00:00
b3a5a0e5ab
Generate vvp code for GT and GE comparisons.
2001-06-15 04:14:18 +00:00
f480943649
Support structural addition.
2001-06-07 02:12:43 +00:00
3ce86f5664
Make error message include error: prefix.
2001-05-17 03:34:47 +00:00
d0d6189874
Less picky about ternary operands.
2001-04-14 22:50:39 +00:00
2b0aaec8ab
FreeBSD port has a maintainer now.
2001-02-15 06:59:35 +00:00
2b903f5d0e
Detect part select out of range in nets. (PR#138)
2001-02-09 20:18:15 +00:00
d78c7392c2
Remove dead code.
2001-02-08 01:10:30 +00:00
88a2ca2168
Handle wide net constants with unary minus.
2001-01-25 02:05:16 +00:00
41242735ed
Handle some special cases of unary 2's complement,
...
and improve netlist expression width handling.
2001-01-24 02:52:30 +00:00
145ac49233
NetMux needs a scope. (PR#115)
2001-01-18 03:16:35 +00:00
f224ed3a90
Fix out-of-bound pins for comparator (PR#108)
2001-01-16 04:51:52 +00:00
5276752276
Build task outputs as lval instead of nets. (PR#98)
2001-01-10 03:13:23 +00:00
8ee00ec562
Fix net division to cope with small output sizes.
2001-01-05 03:19:47 +00:00
4eed86d519
Detect part select errors on l-values.
2000-12-01 02:55:37 +00:00
ff514aab72
pad different width inputs to muxes. (PR#14)
2000-11-04 05:06:04 +00:00
f2997d7767
Detect reverse bit order in part select. (PR#33)
2000-10-30 21:35:40 +00:00
7df9943679
get width right for reversed part select net. (PR#33)
2000-10-30 20:55:53 +00:00
f526d235d1
Check for missing concat subexpressions (PR#11)
2000-10-14 02:23:02 +00:00
4819d54d51
Fix repeat concatenation with multiple expressions (PR#10)
2000-10-08 04:59:36 +00:00
76e2c509d7
Put logic devices into scopes.
2000-10-07 19:45:42 +00:00
79b1c51e68
Detect indefinite widths where definite widths are required.
2000-09-26 05:05:58 +00:00
89d7176734
Add support for modulus (Eric Aardoom)
2000-09-17 21:26:15 +00:00
44438c9678
more robust abut ternary bit widths.
2000-09-07 21:28:51 +00:00
ac81f6a201
Rearrange NetAssign to make NetAssign_ separate.
2000-09-02 20:54:20 +00:00
a59bbdeb4f
Proper error messages when port direction is missing.
2000-08-18 04:38:57 +00:00
60c2046be6
Extend x or z that is top bit of a constant.
2000-08-01 22:44:26 +00:00
2a08824ae9
Detect muxing Vz as a bufufN.
2000-07-15 05:13:43 +00:00
9b59001cf9
Eleminate reduction gate for 1-bit compares.
2000-07-08 04:59:20 +00:00
cdb3eb7e6b
Connect all the l and r bits of a NE expression.
2000-07-06 18:13:24 +00:00
c2b134e7d6
Output signal of + is a temporary.
2000-06-03 02:13:15 +00:00
e0dcdf6b72
Handle wide conditions in ternary operator.
2000-05-26 05:26:11 +00:00
3676d66408
Module ports are really special PEIdent
...
expressions, because a name can be used
many places in the port list.
2000-05-16 04:05:15 +00:00
35a2690d75
Properly elaborate repeat concatenations.
2000-05-07 20:48:14 +00:00
ca6631fdda
Fix connection of Direction of LMP_CLSHIFT
...
to constant values. Remember to add a signal
to the nexus and connect the receiver in vvm.
2000-05-07 19:40:26 +00:00
b90cda1f3f
Carry strength values from Verilog source to the
...
pform and netlist for gates.
Change vvm constants to use the driver_t to drive
a constant value. This works better if there are
multiple drivers on a signal.
2000-05-07 04:37:55 +00:00
0a70a8a954
Allow ternary result to be padded to result width.
2000-05-03 21:21:36 +00:00
69612ceb73
Move memories to the NetScope object.
2000-05-02 03:13:30 +00:00
8d8f1e2401
Move signal tables to the NetScope class.
2000-05-02 00:58:11 +00:00
acfb5c177d
Over agressive signal elimination in constant probadation.
2000-04-28 21:00:28 +00:00
694ff934af
Add support for integer division.
2000-04-01 21:40:22 +00:00
b9d19d3358
Speling error.
2000-03-27 04:38:15 +00:00
3265f3f63a
Remove dangerous tmp signal delete.
2000-03-20 17:54:10 +00:00
48de739506
Switch to control warnings.
2000-03-17 21:50:25 +00:00
2563e2b717
Revise the VVM backend to use nexus objects so that
...
drivers and resolution functions can be used, and
the t-vvm module doesn't need to write a zillion
output functions.
2000-03-16 19:03:03 +00:00
e7efc2709a
Redesign the implementation of scopes and parameters.
...
I now generate the scopes and notice the parameters
in a separate pass over the pform. Once the scopes
are generated, I can process overrides and evalutate
paremeters before elaboration begins.
2000-03-08 04:36:53 +00:00
b734ecf02f
Macintosh compilers do not support ident.
2000-02-23 02:56:53 +00:00
b354cf68b8
Fix up width matching in structural bitwise operators.
2000-02-16 03:58:27 +00:00
a9264d71c6
Unary reduction operators do not set their operand width
2000-02-14 06:04:52 +00:00
57d28e4f86
Support structural XNOR.
2000-01-18 04:53:40 +00:00
aa8908c52f
Multiplication all the way to simulation.
2000-01-13 03:35:35 +00:00
3d1ffced57
Elaborate net widths of constants to as small
...
as is possible, obeying context constraints.
Comparison operators can handle operands with
different widths.
2000-01-11 04:20:57 +00:00
ba7fdb580d
Add a signal to nexus of padding constant.
2000-01-02 22:07:09 +00:00
9e5ff89ef3
Add structural reduction NAND,
...
Fix size coercion of structural shifts.
2000-01-02 21:45:31 +00:00
0d5e4b40d0
Structural reduction XNOR.
2000-01-02 19:39:03 +00:00
65ae92859c
NetConst can now hold wide constants.
1999-12-17 03:38:46 +00:00
ced7cc6d60
Structural logical or.
1999-12-16 03:46:39 +00:00
d54cc14ca2
Simulate carry output on adders.
1999-12-16 02:42:14 +00:00
cdb99e7638
Elaborate net repeat concatenations.
1999-12-02 04:08:10 +00:00
80b8ea95bb
Put implicitly defined signals in the scope.
1999-11-30 04:33:41 +00:00
4cfa3e4047
Support the creation of scopes.
1999-11-27 19:07:57 +00:00
4cfa715092
Memory name lookup handles scopes.
1999-11-21 17:35:37 +00:00
a81dcd7955
Support memories in continuous assignments.
1999-11-21 00:13:08 +00:00
513ade9b95
Support combinatorial comparators.
1999-11-14 23:43:45 +00:00
1624afe1ba
Add support for the LPM_CLSHIFT device.
1999-11-14 20:24:28 +00:00
5171846d72
Forgot to return the mux for use after elaboration.
1999-11-05 23:36:31 +00:00
206b37e5de
Fix NetConst being set to zero width, and clean
...
up elaborate_set_cmp_ for NetEBinary.
1999-11-05 21:45:19 +00:00
cb5fc54b5e
Patch to synthesize unary ~ and the ternary operator.
...
Thanks to Larry Doolittle <LRDoolittle@lbl.gov>.
Add the LPM_MUX device, and integrate it with the
ternary synthesis from Larry. Replace the lpm_mux
generator in t-xnf.cc to use XNF EQU devices to
put muxs into function units.
Rewrite elaborate_net for the PETernary class to
also use the LPM_MUX device.
1999-11-04 03:53:26 +00:00
e1bbbe5614
Include subtraction in LPM_ADD_SUB device.
1999-10-31 20:08:24 +00:00
steve