f02f5be3cc
Fix use of system tasks in AT_STAR statements.
2004-08-28 16:23:05 +00:00
d76ad25778
Do not change reg to wire in NetAssign_ unless synthesizing.
2004-08-28 15:08:31 +00:00
efe05a77cb
nex_output for NetPDelay statements.
2004-06-30 15:32:18 +00:00
3dbc07f34d
Implement signed divide and signed right shift in nets.
2004-06-30 02:16:26 +00:00
9949040285
Add support for the default_nettype directive.
2004-06-13 04:56:53 +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
1295058e5d
parameter keys are per_strings.
2004-02-20 06:22:56 +00:00
89acc41437
LPM, logic and Variables have perm_string names.
2004-02-19 07:06:57 +00:00
536068bdfb
Memory and Event names use perm_string.
2004-02-19 06:57:10 +00:00
27af95d402
Use perm_strings for named langiage items.
2004-02-18 17:11:54 +00:00
57c3e86084
Debug dumps for synth2.
2003-12-17 16:52:39 +00:00
43f28b53a3
Design::get_flag returns const char* instead of string.
2003-11-10 20:59:03 +00:00
bc0ead2842
Spelling fixes in comments.
2003-11-08 20:06:21 +00:00
7fd669fcc0
NetEUReduce has its own dup_expr method.
2003-10-31 02:47:11 +00:00
edaa7df6d2
Output of While is output of while substatement.
2003-10-26 04:51:38 +00:00
1f0c274e82
Obsolete find_symbol and find_event from the Design class.
2003-09-20 01:05:35 +00:00
693794552c
Remove find_memory method from Design class.
2003-09-19 03:50:12 +00:00
da7956a797
Fix name search in elab_lval.
2003-09-19 03:30:04 +00:00
178847fc53
Spelling fixes.
2003-09-13 01:01:51 +00:00
7c1401a2ba
Spelling patch.
2003-08-28 04:11:17 +00:00
e561819179
Add synthesis support for synchronous reset.
2003-08-15 02:23:52 +00:00
a95463ff81
Add support for IVL_LPM_MULT device.
2003-08-09 03:23:03 +00:00
bfe31e22bf
Start handling pad of expressions in code generators.
2003-07-26 03:34:42 +00:00
cadf4cfdef
Spelling fixes.
2003-07-15 03:49:22 +00:00
004ecd08dd
Elide empty begin-end in conditionals.
2003-07-02 04:19:16 +00:00
61195c5daa
Harmless fixup of warnings.
2003-06-21 01:21:42 +00:00
ccf4d4d7da
Module attributes from the parser
...
through to elaborated form.
2003-06-20 00:53:19 +00:00
71a404a546
Add arithmetic shift operators.
2003-06-18 03:55:18 +00:00
8352c91b0a
Evaluate <= with real operands.
2003-06-05 04:28:24 +00:00
5903f0744c
Support parameters in real expressions and
...
as real expressions, and fix multiply and
divide with real results.
2003-05-30 02:55:32 +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
f1cc9d865b
Support event names as expressions elements.
2003-04-22 04:48:29 +00:00
5d1d99a89f
Handle signed magnitude compare all the
...
way through to the vvp code generator.
2003-04-11 05:18:08 +00:00
2c129dfbfa
Synthesize shift expressions.
2003-04-08 04:33:55 +00:00
d18934d444
Sign extend NetMult inputs if result is signed.
2003-03-29 05:51:25 +00:00
c602d94cef
Comparison operators do have defined width.
2003-03-15 18:08:43 +00:00
6d94f2ea55
Better organize the NetESFunc return type guesses.
2003-03-15 04:46:28 +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
486274cfa1
Scope names stored only as basename.
2003-03-03 02:22:41 +00:00
4c67de5ca7
Add the lex_strings string handler, and put
...
scope names and system task/function names
into this table. Also, permallocate event
names from the beginning.
2003-03-01 06:25:30 +00:00
f8d1e15a27
NetEBDiv handles real value constant expressions.
2003-02-07 02:47:57 +00:00
589422b505
Real constants have no defined vector width
2003-02-06 17:50:23 +00:00
e941e7e805
Spelling fixes.
2003-01-30 16:23:07 +00:00
04ada23119
Support in various contexts the $realtime
...
system task.
2003-01-27 00:14:37 +00:00
46253ed873
Rework expression parsing and elaboration to
...
accommodate real/realtime values and expressions.
2003-01-26 21:15:58 +00:00
e62e1d89b6
Named event triggers can take hierarchical names.
2002-12-07 02:49:24 +00:00
9f80ed32b6
Support bit select in constant expressions.
2002-12-05 02:14:33 +00:00
aa8869a3c7
Postpone parameter width check to evaluation.
2002-11-09 01:40:19 +00:00
86032c0aa5
Allow named events to be referenced by
...
hierarchical names.
2002-11-02 03:27:51 +00:00
9ce2806710
Fix synth2 handling of aset/aclr signals where
...
flip-flops are split by begin-end blocks.
2002-10-23 01:45:24 +00:00
3d4593d4d5
Synthesizer support for synchronous begin-end blocks.
2002-10-21 01:42:08 +00:00
43501809b1
Redo the parameter vector support to allow
...
parameter names in range expressions.
2002-10-19 22:59:49 +00:00
166621bcb3
Generate vvp code for asynch set/reset of NetFF.
2002-09-26 03:18:04 +00:00
879a5a4cbe
Synthesize async set/reset is certain cases.
2002-09-26 01:13:14 +00:00
eb81062d85
Add to synth2 support for synthesis of
...
synchronous logic. This includes DFF enables
modeled by if/then/else.
2002-09-16 00:30:33 +00:00
dac99b9374
Add support for binary nand operator.
2002-09-12 15:49:43 +00:00
8ab2ec6f86
Allow release to handle removal of target net.
2002-08-19 00:06:11 +00:00
2fad8d4cff
Detect temporaries in sequential block synthesis.
2002-08-18 22:07:16 +00:00
c794aa02b8
Fix intermix of node functors and node delete.
2002-08-16 05:18: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
89314d4772
Do not use hierarchical names of memories to
...
generate vvp labels. -tdll target does not
used hierarchical name string to look up the
memory objects in the design.
2002-08-04 18:28:14 +00:00
bb87c368b8
Asynchronous synthesis of sequential blocks.
2002-07-29 00:00:28 +00:00
58ec62c895
Rewrite find_similar_event to support doing
...
all event matching and replacement in one
shot, saving time in the scans.
2002-07-24 16:24:45 +00:00
8114523be2
Asynchronous synthesis of case statements.
2002-07-07 22:32:15 +00:00
3f1cd14f6c
Fix scope search for events.
2002-07-03 05:34:59 +00:00
93bb4283b8
Change the signal to a net when assignments go away.
2002-07-02 03:02:57 +00:00
d5e9e13555
synth_asych of if/else requires redirecting the target
...
if sub-statements. Use NetNet objects to manage the
situation.
2002-07-01 00:54:21 +00:00
9b6b081e38
Add structure for asynchronous logic synthesis.
2002-06-30 02:21:31 +00:00
9fc4e1eddd
Cache calculated driven value.
2002-06-25 01:33:22 +00:00
58c2e12507
Make link_drive_constant cache its results in
...
the Nexus, to improve cprop performance.
2002-06-24 01:49:38 +00:00
f9768cd579
spelling error.
2002-06-23 18:22:43 +00:00
5eca5d9948
Carry integerness throughout the compilation.
2002-06-21 04:59:35 +00:00
cd94019733
Remove NetTmp and add NetSubnet class.
2002-06-19 04:20:03 +00:00
9cef973d9b
Add NetRamDq synthsesis from memory l-values.
2002-06-08 23:42:46 +00:00
53d8cdd9f8
Add support for memory words in l-value of
...
non-blocking assignments, and remove the special
NetAssignMem_ and NetAssignMemNB classes.
2002-06-05 03:44:25 +00:00
91a755d0e8
Add support for memory words in l-value of
...
blocking assignments, and remove the special
NetAssignMem class.
2002-06-04 05:38:43 +00:00
422754f36f
Support carrying the scope of named begin-end
...
blocks down to the code generator, and have
the vvp code generator use that to support disable.
2002-05-27 00:08:45 +00:00
bfad382fd1
Carry Verilog 2001 attributes with processes,
...
all the way through to the ivl_target API.
Divide signal reference counts between rval
and lval references.
2002-05-26 01:39:02 +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
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
5882c6a481
Redo handling of assignment internal delays.
...
Leave it possible for them to be calculated
at run time.
2002-04-21 22:31:02 +00:00
9dda15a186
implement nex_input for behavioral statements.
2002-04-21 17:43:12 +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
b7c2bd4f72
Add the NetUserFunc netlist node.
2002-03-09 02:10:22 +00:00
364ffc9024
Add support for bit select of parameters.
...
This leads to a NetESelect node and the
vvp code generator to support that.
2002-01-28 00:52:41 +00:00
349be0f169
Precalculate constant results of memory index expressions.
2002-01-22 01:40:04 +00:00
608555ce7e
Pass back target errors processing conditionals.
2002-01-19 19:02:08 +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
e85347bf8b
Handle part selects in l-values of DFF devices.
2001-11-29 01:58:18 +00:00
f28f5e01e5
Unary reduction operators are all 1-bit results.
2001-11-19 04:26:46 +00:00
08f0f5a1f7
DLL target support for force and release.
2001-11-14 03:28:49 +00:00
0c7335a77d
Spelling errors.
2001-11-09 03:43:26 +00:00
7793a49854
Remove string paths from PExpr elaboration.
2001-11-08 05:15:50 +00:00
1ff36dc892
shift expressions can have definite widths.
2001-11-06 04:32:37 +00:00
75e78e86d3
ivl_target support for assign/deassign.
2001-10-31 05:24:52 +00:00
874bab10e4
NetObj constructor finally requires a scope.
2001-10-28 01:14:53 +00:00
7a149a6943
Scope/module names are char* instead of string.
2001-10-20 05:21:51 +00:00
d350620315
Support multiple root modules (Philip Blundell)
2001-10-19 21:53:24 +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
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
ce589da58a
Support the NetESubSignal expressions in vvp.tgt.
2001-07-22 00:17:49 +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
914ad85e63
Add ivl and vvp.tgt support for memories in
...
expressions and l-values. (Stephan Boettcher)
2001-05-08 23:59:33 +00:00
a52b34cb64
Add pullup and pulldown devices.
2001-04-29 20:19:10 +00:00
8dfa322b8b
Support for UDP devices in VVP (Stephen Boettcher)
2001-04-24 02:23:58 +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
ad8565f8a6
Add const probe method to NetEvent.
2001-03-29 02:52:01 +00:00
2b0aaec8ab
FreeBSD port has a maintainer now.
2001-02-15 06:59:35 +00:00
7d7beeecc1
Binary operators with operands of indefinite width
...
has itself an indefinite width.
2001-02-10 21:20:38 +00:00
f5d0211864
In the context of range declarations, use elab_and_eval instead
...
of the less robust eval_const methods.
2001-02-10 20:29:39 +00:00
7ef3b44ab1
support evaluation of constant < in expressions.
2001-02-09 05:44:23 +00:00
145ac49233
NetMux needs a scope. (PR#115)
2001-01-18 03:16:35 +00:00
65020bc6de
Use the iosfwd header if available.
2001-01-16 02:44:17 +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
8bfae1e641
Evaluate constant === and !== expressions.
2001-01-04 16:49:50 +00:00
120a211e68
Support a bunch of unary operators in parameter expressions.
2001-01-02 04:21:13 +00:00
b6a18098c7
Evaluate constant &, | and unary ~.
2001-01-02 03:23:40 +00:00
f4671a3082
Evaluate <= and ?: in parameter expressions (PR#81)
2000-12-16 19:03:30 +00:00
8ae4e25720
Detect recursive instantiations (PR#2)
2000-12-16 01:45:47 +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
a2a40869b0
Spelling error in comment.
2000-12-02 05:08:04 +00:00
ea921efced
synthesis for unary reduction ! and N operators.
2000-11-29 05:24:00 +00:00
291ab97422
Add support for || synthesis (PR#53)
2000-11-29 02:09:52 +00:00
f4443a7dfa
Add support for supply nets (PR#17)
2000-11-20 00:58:40 +00:00
28bc621f11
change set for support of nmos, pmos, rnmos, rpmos, notif0, and notif1
...
change set to correct behavior of bufif0 and bufif1
(Tim Leight)
Also includes fix for PR#27
2000-11-11 01:52:09 +00:00
a8da692540
Add support for the t-dll backend grabing flip-flops.
2000-11-11 00:03:36 +00:00
61ad0b23c8
Apply sequential UDP rework from Stephan Boettcher (PR#39)
2000-11-04 06:36:24 +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
e10679633d
Add ivl_lval_t and support for assignment l-values.
2000-10-18 20:04:39 +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
aac5fc246a
Use char8 instead of string to store name.
2000-10-04 16:30:39 +00:00
21e0e8a8a1
Cnstant evaluation of NE.
2000-09-29 04:42:56 +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
cbe20e8bcf
fix null pointer when elaborating undefined task.
2000-09-24 17:41:13 +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
89d7176734
Add support for modulus (Eric Aardoom)
2000-09-17 21:26:15 +00:00
8a69c54886
elaborate complex l-values
2000-09-10 02:18:16 +00:00
49570b8cd9
encapsulate access to the l-value expected width.
2000-09-07 00:06:53 +00:00
115d24a292
Pull NetAssign_ creation out of constructors.
2000-09-02 23:40:12 +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
8876cda37f
Get at gate information for ivl_target interface.
2000-08-26 00:54:03 +00:00
9abd84952b
add th t-dll functions for net_const, net_bufz and processes.
2000-08-14 04:39:56 +00:00
248baa26e1
Move all file manipulation out of target class.
2000-08-09 03:43:45 +00:00
d58533fd7b
target methods need not take a file stream.
2000-08-08 01:50:42 +00:00
e01137ced3
cleanup.
2000-08-02 14:48:15 +00:00
d677f226f3
Support <= in synthesis of DFF and ram devices.
2000-08-01 02:48:41 +00:00
0243fca8dc
Rearrange task and function elaboration so that the
...
NetTaskDef and NetFuncDef functions are created during
signal enaboration, and carry these objects in the
NetScope class instead of the extra, useless map in
the Design class.
2000-07-30 18:25:43 +00:00
3aa250b16b
Report code generation errors through proc_delay.
2000-07-29 16:21:08 +00:00
4494a7a4f3
Support elaboration of disable statements.
2000-07-27 05:13:44 +00:00
286cef19fb
Parse and elaborate timescale to scopes.
2000-07-22 22:09:03 +00:00
741b17245d
Handle some edge cases during node scans.
2000-07-16 04:56:07 +00:00
2a08824ae9
Detect muxing Vz as a bufufN.
2000-07-15 05:13:43 +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
c1c0168893
Globally merge redundant event objects.
2000-05-31 02:26:49 +00:00
fd09bc3e3e
Merge similar probes within a module.
2000-05-27 19:33:23 +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
08e9a114a2
Catch memory word parameters to tasks.
2000-04-28 16:50:53 +00:00
6e8fe39cc7
Better comments about bufif devices.
2000-04-23 21:17:31 +00:00
6446add9cd
Emit code for the bufif devices.
2000-04-23 21:15:07 +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
2094a2f466
Catch some simple identity compareoptimizations.
2000-04-20 00:28:03 +00:00
74c43032b3
Clean up unneeded NetEvent objects.
2000-04-18 04:50: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
b1fd927acb
Named events really should be expressed with PEIdent
...
objects in the pform,
Handle named events within the mix of net events
and edges. As a unified lot they get caught together.
wait statements are broken into more complex statements
that include a conditional.
Do not generate NetPEvent or NetNEvent objects in
elaboration. NetEvent, NetEvWait and NetEvProbe
take over those functions in the netlist.
2000-04-12 04:23:57 +00:00
8dbd64121f
All events now use the NetEvent class.
2000-04-10 05:26:05 +00:00
30e8289239
Simulate named event trigger and waits.
2000-04-04 03:20:15 +00:00
steve