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
8667b9a35d
Put off evaluation of concatenation repeat expresions
...
until after parameters are defined. This allows parms
to be used in repeat expresions.
Add the builtin $signed system function.
2002-05-05 21:11:49 +00:00
b094bbdcf4
Add support for conbinational events by finding
...
the inputs to expressions and some statements.
Get case and assignment statements working.
2002-04-21 04:59:07 +00:00
e630ecdb0d
Ternary expressions can be signed.
2002-04-14 19:02:34 +00:00
eb27dc8db3
Support signed integer division.
2002-04-14 18:41:34 +00:00
9756cb6382
Propagate sign in unary minus.
2002-02-01 05:09:14 +00:00
349be0f169
Precalculate constant results of memory index expressions.
2002-01-22 01:40:04 +00:00
51db00fb44
Support $signed cast of expressions.
2001-12-31 00:08:14 +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
f28f5e01e5
Unary reduction operators are all 1-bit results.
2001-11-19 04:26:46 +00:00
cfed3933fa
Port close cropping behavior from mcrgb
...
Move window array reset to libmc.
2001-11-19 01:54:14 +00:00
1ff36dc892
shift expressions can have definite widths.
2001-11-06 04:32:37 +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
494b5ff1ee
parameter names do not have defined size.
2001-10-07 03:38:08 +00:00
d46465845c
Fix the size of unsized constant operants to compare (PR#274)
2001-09-29 01:53:22 +00:00
e35ed6e91c
Change the NetAssign_ class to refer to the signal
...
instead of link into the netlist. This is faster
and uses less space. Make the NetAssignNB carry
the delays instead of the NetAssign_ lval objects.
Change the vvp code generator to support multiple
l-values, i.e. concatenations of part selects.
2001-08-25 23:50:02 +00:00
becc7cb56a
Handle part select expressions as variants of
...
NetESignal/IVL_EX_SIGNAL objects, instead of
creating new and useless temporary signals.
2001-07-27 04:51:44 +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
ce589da58a
Support the NetESubSignal expressions in vvp.tgt.
2001-07-22 00:17:49 +00:00
fb0c387b12
Detect and make available to t-dll the right shift.
2001-07-07 03:01:37 +00:00
bcaa122fb9
handle left shifter in dll output.
2001-07-04 22:59:25 +00:00
79b740284a
Make NetFF constructor take const char* for the name.
2001-07-01 00:27:34 +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
66cf3ec8fa
More UDP consolidation from Stephan Boettcher.
2001-04-22 23:09:45 +00:00
0550287658
Generate vvp code for functions with ports.
2001-04-06 02:28:02 +00:00
f40d006c26
Generate code for task calls.
2001-04-02 02:28:12 +00:00
7d7beeecc1
Binary operators with operands of indefinite width
...
has itself an indefinite width.
2001-02-10 21:20:38 +00:00
d78c7392c2
Remove dead code.
2001-02-08 01:10:30 +00:00
2fbc0af1ea
Fix expression widths for rvalues and parameters (PR#131,132)
2001-02-07 21:47:13 +00:00
145ac49233
NetMux needs a scope. (PR#115)
2001-01-18 03:16:35 +00:00
cc18d065aa
declaration initialization for time variables.
2001-01-06 06:31:58 +00:00
68e672e61a
Support arrays of integers.
2001-01-06 02:29:35 +00:00
5dbea64759
Add support for signed reg variables,
...
simulate in t-vvm signed comparisons.
2000-12-11 00:31:43 +00:00
3b9a60414e
Make signal attributes available to ivl_target API.
2000-12-05 06:29:33 +00:00
4f638882c9
Add Attrib class for holding NetObj attributes.
2000-12-04 17:37:03 +00:00
a5c69b50e5
Do not delete synthesized signals used in expressions.
2000-11-29 23:16:18 +00:00
ea921efced
synthesis for unary reduction ! and N operators.
2000-11-29 05:24:00 +00:00
f4443a7dfa
Add support for supply nets (PR#17)
2000-11-20 00:58:40 +00:00
a8da692540
Add support for the t-dll backend grabing flip-flops.
2000-11-11 00:03:36 +00:00
3591e06c4e
Support time variables.
2000-10-31 17:49:02 +00:00
ad4931e813
Add scope to threads in vvm, pass that scope
...
to vpi sysTaskFunc objects, and add vpi calls
to access that information.
$display displays scope in %m (PR#1)
2000-10-28 00:51:41 +00:00
76e2c509d7
Put logic devices into scopes.
2000-10-07 19:45:42 +00:00
6f69773c57
ivl_target updates, including more complete
...
handling of ivl_nexus_t objects. Much reduced
dependencies on pointers to netlist objects.
2000-10-06 23:46:50 +00:00
41f3ba65a1
xor and constant devices.
2000-10-05 05:03:01 +00:00
79b1c51e68
Detect indefinite widths where definite widths are required.
2000-09-26 05:05:58 +00:00
8b581cef46
Remove the obsolete NetEIdent class.
2000-09-26 01:35:42 +00:00
2be1c115ff
Move some NetNet method out of the header file.
2000-09-24 15:44:44 +00:00
48ff3590bc
Access to the name of a system task call.
2000-09-22 03:58:30 +00:00
ac81f6a201
Rearrange NetAssign to make NetAssign_ separate.
2000-09-02 20:54:20 +00:00
ff32325d07
t-dll iterates signals, and passes them to the
...
target module.
Some of NetObj should return char*, not string.
2000-08-27 15:51:50 +00:00
42e4ff47c8
Move inital value handling from NetNet to Nexus
...
objects. This allows better propogation of inital
values.
Clean up constant propagation a bit to account
for regs that are not really values.
2000-07-14 06:12:56 +00:00
18eb34921f
Add support for non-constant delays in delay statements,
...
Support evaluating ! in constant expressions, and
move some code from netlist.cc to net_proc.cc.
2000-07-07 04:53:53 +00:00
583868e74e
Redesign Links to include the Nexus class that
...
carries properties of the connected set of links.
2000-06-25 19:59:41 +00:00
e52ada617e
Get rid of useless next_link method.
2000-06-24 22:55:19 +00:00
66ae567b25
Index in memory assign should be a NetExpr.
2000-06-13 03:24:48 +00:00
413d852012
NetEParam supports dup_expr.
2000-06-12 03:57:10 +00:00
fd09bc3e3e
Merge similar probes within a module.
2000-05-27 19:33:23 +00:00
d9eed14972
Accept different widths for add operands.
2000-05-19 01:43:16 +00:00
367db72c99
Add support for procedural continuous assignment.
2000-05-11 23:37:26 +00:00
b28f258463
Import MCD support from Stephen Tell, and add
...
system function parameter support to the IVL core.
2000-05-07 18:20:07 +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
fbe475ef7d
Add infrastructure for system functions, move
...
$time to that structure and add $random.
2000-05-04 03:37:58 +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
2b40c7ce11
integer division in expressions properly get width.
2000-04-28 18:43:23 +00:00
a8114ae122
Add support for the procedural release statement.
2000-04-23 03:45:24 +00:00
44838f8973
Add support for force assignment.
2000-04-22 04:20:19 +00:00
4f07c43976
Minor cleanup of NetTaskDef.
2000-04-18 01:02:53 +00:00
726f7b8b11
Synthesis of comparator in expressions.
...
Connect the NetEvent and related classes
together better.
2000-04-16 23:32:18 +00:00
7484feceb5
fork-join support in vvm.
2000-04-15 19:51:30 +00:00
4493e968da
Finally remove the NetNEvent and NetPEvent classes,
...
Get synthesis working with the NetEvWait class,
and get started supporting multiple events in a
wait in vvm.
2000-04-12 20:02:52 +00:00
30e8289239
Simulate named event trigger and waits.
2000-04-04 03:20:15 +00:00
b62a7ace5c
Remove the useless sref template.
2000-04-02 04:26:06 +00:00
694ff934af
Add support for integer division.
2000-04-01 21:40:22 +00:00
d97ab9be23
New and improved combinational primitives.
2000-03-29 04:37:10 +00:00
6eef54595f
Support localparam.
2000-03-12 17:09:40 +00:00
61822d48aa
Handle defparam to partial hierarchical names.
2000-03-10 06:20:48 +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
aa8908c52f
Multiplication all the way to simulation.
2000-01-13 03:35:35 +00:00
fac3bde2c8
Elaborate parameters afer binding of overrides.
2000-01-10 01:35:23 +00:00
b6d1bb1fa7
Propogate constant 0 in low bits of adders.
1999-12-30 04:19:12 +00:00
65ae92859c
NetConst can now hold wide constants.
1999-12-17 03:38:46 +00:00
d54cc14ca2
Simulate carry output on adders.
1999-12-16 02:42:14 +00:00
09de918198
Generate XNF RAMS from synthesized memories.
1999-12-05 19:30:42 +00:00
3e2bb85f58
Synthesize LPM_RAM_DQ for writes into memories.
1999-12-05 02:24:08 +00:00
22d89c5984
Update case comparison (Eric Aardoom).
1999-12-02 16:58:58 +00:00
e96e8c62be
NetESignal object no longer need to be NetNode
...
objects. Let them keep a pointer to NetNet objects.
1999-11-28 23:42:02 +00:00
48b6726cf4
gate outputs need to set signal values.
1999-11-28 01:16:18 +00:00
4cfa3e4047
Support the creation of scopes.
1999-11-27 19:07:57 +00:00
26288eeeb4
Detect and list scope names.
1999-11-24 04:01:58 +00:00
7324673bd1
Fix expression width of memory references.
1999-11-21 18:03:35 +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
fae40cf380
handle duplicate connect to a nexus.
1999-11-19 05:02:37 +00:00
8b81d6e416
Detect flip-flops connected to opads and turn
...
them into OUTFF devices. Inprove support for
the XNF-LCA attribute in the process.
1999-11-19 03:02:25 +00:00
9d6392fda9
Turn NetTmp objects into normal local NetNet objects,
...
and add the nodangle functor to clean up the local
symbols generated by elaboration and other steps.
1999-11-18 03:52:19 +00:00
steve