77361fb8a0
Overly aggressive eliding of task calls.
2000-04-28 23:12:12 +00:00
3a9be680a4
Skip empty tasks.
2000-04-28 22:17:47 +00:00
08e9a114a2
Catch memory word parameters to tasks.
2000-04-28 16:50:53 +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
99a891b8a1
Bit padding in assignment to memory.
2000-04-21 04:38:15 +00:00
4f07c43976
Minor cleanup of NetTaskDef.
2000-04-18 01:02:53 +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
72b3508911
Catch event declarations during scope elaborate.
2000-04-09 17:44:30 +00:00
e9b06f1022
Catch event names in parentheses.
2000-04-09 16:43:50 +00:00
30e8289239
Simulate named event trigger and waits.
2000-04-04 03:20:15 +00:00
6150be2324
detect unsupported block on named events.
2000-04-01 22:14:19 +00:00
2dd010dc04
Named events as far as the pform.
2000-04-01 19:31:57 +00:00
d97ab9be23
New and improved combinational primitives.
2000-03-29 04:37:10 +00:00
94270ff988
Fix lval part select of non-blocking assign.
2000-03-20 15:28:58 +00:00
01c5147079
Connect output of NB assign to indexed pin.
2000-03-12 21:41:47 +00:00
78ab1a7bba
Locate scopes in statements.
2000-03-11 03:25:51 +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
5b52c384d6
Catch module instantiation arrays.
2000-02-18 05:15:02 +00:00
bd09bed662
Mark the line numbers of NetCondit nodes.
2000-02-14 00:11:11 +00:00
ee180f6cf0
Include the scope in named gates.
2000-02-06 23:13:14 +00:00
fac3bde2c8
Elaborate parameters afer binding of overrides.
2000-01-10 01:35:23 +00:00
9125a4c451
Careful with wires connected to multiple ports.
2000-01-09 20:37:57 +00:00
2de887c2ff
Support named parameter override lists.
2000-01-09 05:50:48 +00:00
0d5e4b40d0
Structural reduction XNOR.
2000-01-02 19:39:03 +00:00
142b9e667d
Do not overrun the pin index when the LSB != 0.
2000-01-02 18:25:37 +00:00
e6820ed169
Handle synthesis of concatenation.
2000-01-01 06:18:00 +00:00
6e3c258edb
Detect duplicate scopes.
1999-12-14 23:42:16 +00:00
3e1738dcec
Fix support for attaching attributes to primitive gates.
1999-12-11 05:45:41 +00:00
3e2bb85f58
Synthesize LPM_RAM_DQ for writes into memories.
1999-12-05 02:24:08 +00:00
cdb99e7638
Elaborate net repeat concatenations.
1999-12-02 04:08:10 +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
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
85ab6d160b
Handle multiply in constant expressions.
1999-11-21 20:03:24 +00:00
4cfa715092
Memory name lookup handles scopes.
1999-11-21 17:35:37 +00:00
b4aade1e4c
Fix coding errors handling names of logic devices,
...
and add support for buf device in vvm.
1999-11-21 01:16:51 +00:00
a81dcd7955
Support memories in continuous assignments.
1999-11-21 00:13:08 +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
82f3f0f741
Create the vpiMemory handle type.
1999-11-10 02:52:24 +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
71ecf8c143
Add to netlist links pin name and instance number,
...
and arrange in vvm for pin connections by name
and instance number.
1999-10-31 04:11:27 +00:00
8ab03fa90f
Catch unindexed memory reference.
1999-10-18 00:02:21 +00:00
475dd5760a
Remove commented out do_assign.
1999-10-13 03:16:36 +00:00
70a1236626
Structural case equals device.
1999-10-10 01:59:54 +00:00
7201865554
Support parameters in continuous assignments.
1999-10-09 21:30:16 +00:00
aa11f57b57
Better message for combinational operators.
1999-10-09 19:24:04 +00:00
29abc5a69e
Support + in constant expressions.
1999-10-08 17:48:08 +00:00
5b7d783979
Accept adder parameters with different widths,
...
and simplify continuous assign construction.
1999-10-08 17:27:23 +00:00
f949f96df1
Add non-const bit select in l-value of assignment.
1999-10-07 05:25:33 +00:00
1cc68f745a
== and != connected to the wrong pins of the compare.
1999-10-06 00:39:00 +00:00
4d8c0c79d6
Add support for reduction NOR.
1999-10-05 06:19:46 +00:00
d513cf8f60
sorry message for non-constant l-value bit select.
1999-10-05 02:00:06 +00:00
efa5222c66
Handle mutual reference of tasks by elaborating
...
task definitions in two passes, like functions.
1999-09-30 21:28:34 +00:00
ed9aeec591
catch non-constant delays as unsupported.
1999-09-30 17:22:33 +00:00
c63a3acf93
Elaborate ~^ and ~| operators.
1999-09-30 02:43:01 +00:00
6e486e9bcf
Cope with errors during ternary operator elaboration.
1999-09-30 00:48:49 +00:00
db7044850a
Move code to elab_expr.cc
1999-09-29 22:57:10 +00:00
a64a33e65a
Full case support
1999-09-29 18:36:02 +00:00
0fb4ba7907
Allow expanding of additive operators.
1999-09-29 00:42:50 +00:00
bb38653654
Parse system function calls.
1999-09-25 02:57:29 +00:00
1a21d2fe9d
Support shift operators.
1999-09-23 03:56:57 +00:00
095995f09c
internal error message for funky comparison width.
1999-09-23 02:28:27 +00:00
1c41f8ebd2
Move set_width methods into a single file,
...
Add the NetEBLogic class for logic expressions,
Fix error setting with of && in if statements.
1999-09-23 00:21:54 +00:00
59b1b4c7b9
Expand bits in delayed assignments.
1999-09-22 21:25:42 +00:00
12b9071f49
Parse and elaborate named for/join blocks.
1999-09-22 04:30:04 +00:00
da4a7ea80a
assignment with blocking event delay.
1999-09-22 02:00:48 +00:00
3a5e55b229
Elaborate parameters in phases.
1999-09-20 02:21:10 +00:00
5fde1b3e05
Match bit widths comming out of task output ports.
1999-09-18 22:23:50 +00:00
fbf104bf4d
report non-constant part select expressions.
1999-09-18 02:51:35 +00:00
dab04c221d
Detect constant lessthen-equal expressions.
1999-09-18 01:53:08 +00:00
424e6a750c
Handle unconnected module ports.
1999-09-17 02:06:25 +00:00
4594ac1c2c
elaborate concatenation repeats.
1999-09-16 04:18:15 +00:00
a890724b40
Handle implicit !=0 in if statements.
1999-09-16 00:33:45 +00:00
31bdb87c8f
separate assign lval elaboration for error checking.
1999-09-15 04:17:52 +00:00
b04148b754
Elaborate non-blocking assignment to memories.
1999-09-15 01:55:06 +00:00
39bc45ce67
implicitly declare wires if needed.
1999-09-14 01:50:52 +00:00
7a211b9136
Clarify msb/lsb in context of netlist. Properly
...
handle part selects in lval and rval of expressions,
and document where the least significant bit goes
in NetNet objects.
1999-09-13 03:10:59 +00:00
25d6912217
Pad r-values in certain assignments.
1999-09-12 01:16:51 +00:00
a6c6ac2191
Add ternary elaboration.
1999-09-10 04:04:06 +00:00
d6fbc30cd5
Allow assign to not match rvalue width.
1999-09-08 04:05:30 +00:00
9d82d19d07
Empty conditionals (pmonta@imedia.com)
1999-09-08 02:24:39 +00:00
8f68a07476
Add support for delayed non-blocking assignments.
1999-09-04 19:11:45 +00:00
41a1c6bb02
elaborate the binary plus operator.
1999-09-03 04:28:38 +00:00
6fb7120158
Parse non-blocking assignment delays.
1999-09-02 01:59:27 +00:00
9f7eb4a935
Handle recursive functions and arbitrary function
...
references to other functions, properly pass
function parameters and save function results.
1999-09-01 20:46:19 +00:00
e69345b9fe
Elaborate and emit to vvm procedural functions.
1999-08-31 22:38:29 +00:00
23acca48ff
elaborate some aspects of functions.
1999-08-25 22:22:41 +00:00
9eae940ebd
Parameter overrides support from Peter Monta
...
AND and XOR support wide expressions.
1999-08-23 16:48:39 +00:00
031d91f813
Fixup spelling and some error messages. <LRDoolittle@lbl.gov>
1999-08-18 04:00:02 +00:00
cf1abfe38c
Uninitialized low and high indices for single gate syntax
1999-08-08 20:06:06 +00:00
c33b0c2262
Handle scope of parameters.
1999-08-06 04:05:28 +00:00
865181b818
Allow integers as register lvalues.
1999-08-05 04:58:57 +00:00
1b858735f2
Elaborate module ports that are concatenations of
...
module signals.
1999-08-04 02:13:02 +00:00
5f10342f52
Parse into pform arbitrarily complex module
...
port declarations.
1999-08-03 04:14:49 +00:00
444c83b19a
set width of procedural r-values when then
...
l-value is a memory word.
1999-08-01 21:48:11 +00:00
dd8daf40df
elaborate rise/fall/decay for continuous assign.
1999-08-01 21:18:55 +00:00
71d35f32b2
Parse and elaborate rise/fall/decay times
...
for gates, and handle the rules for partial
lists of times.
1999-08-01 16:34:50 +00:00
d2f77defe6
move binary operators to derived classes.
1999-07-31 03:16:54 +00:00
0c6775a094
Handle no ports at all for tasks.
1999-07-28 03:46:57 +00:00
fc8a6c52f8
Add support for task output and inout ports.
1999-07-24 19:19:06 +00:00
93a77a2efd
Elaborate task input ports.
1999-07-24 02:11:19 +00:00
563ec1bb81
Add support for CE input to XNF DFF, and do
...
complete cleanup of replaced design nodes.
1999-07-18 21:17:50 +00:00
a5921ceae8
netlist support for ternary operator.
1999-07-17 19:50:59 +00:00
772f38ca1e
Better handling of bit width of + operators.
1999-07-17 18:06:02 +00:00
13cd13d9d5
part select in expressions.
1999-07-17 03:08:31 +00:00
c2c9acdbaf
Construct delayed assignment as an equivilent block.
1999-07-13 04:08:26 +00:00
6852a62e5a
procedural blocking assignment delays.
1999-07-12 00:59:36 +00:00
aa938a309d
Proper initialization of registers.
1999-07-10 03:00:05 +00:00
c8d13d7a1c
Support concatenate in l-values.
1999-07-10 02:19:26 +00:00
3ff6912bdd
Elaborate user defined tasks.
1999-07-03 02:12:51 +00:00
1ec98ba7cf
Elaborate wide structoral bitwise OR.
1999-06-24 04:45:29 +00:00
11b2b1740a
Handle expression widths for EEE and NEE operators,
...
add named blocks and scope handling,
add registers declared in named blocks.
1999-06-24 04:24:18 +00:00
853ad247a1
Elaborate and supprort to vvm the forever
...
and repeat statements.
1999-06-19 21:06:16 +00:00
37b60a4c52
Clean up interface of the PWire class,
...
Properly match wire ranges.
1999-06-17 05:34:42 +00:00
fabb146342
Support case expression lists.
1999-06-15 05:38:39 +00:00
d0afc9adee
Get rid of the STL vector template.
1999-06-15 03:44:53 +00:00
740c63291a
l-value part select for procedural assignments.
1999-06-13 23:51:16 +00:00
6a823cde59
Unify the NetAssign constructors a bit.
1999-06-13 16:30:06 +00:00
988e4f0d3d
Add part select lvalues to AssignNB.
1999-06-13 04:46:54 +00:00
a22e43cb7a
Handle part selects as l-values to continuous assign.
1999-06-12 23:16:37 +00:00
7c2cf8b2fa
Add support for the Ternary operator,
...
Add support for repeat concatenation,
Correct some seg faults cause by elaboration
errors,
Parse the casex anc casez statements.
1999-06-10 04:03:52 +00:00
1464851e0e
Add support for procedural concatenation expression.
1999-06-09 03:00:05 +00:00
1fe8e93e5c
Support for binary | (Stephen Tell)
1999-06-09 00:58:06 +00:00
4932dc7c5e
Support non-blocking assignment down to vvm.
1999-06-07 02:23:31 +00:00
5959f3dfc7
Drop degenerate blocks.
1999-06-06 23:07:43 +00:00
7605a7b1f0
Add parse and elaboration of non-blocking assignments,
...
Replace list<PCase::Item*> with an svector version,
Add integer support.
1999-06-06 20:45:38 +00:00
caae00f1fd
Compile time evalutation of constant expressions.
1999-06-03 05:16:25 +00:00
f3a91a10b3
Line information with nets.
1999-06-02 15:38:46 +00:00
53b0050e54
Fix error message.
1999-05-31 15:45:35 +00:00
982cce6086
Exressions are trees that can duplicate, and not DAGS.
1999-05-30 01:11:46 +00:00
35893919e0
module parameter bind by name.
1999-05-29 02:36:17 +00:00
5ef3970714
Handle expression bit widths with non-fatal errors.
1999-05-27 04:13:08 +00:00
0352864470
Much expression parsing work,
...
mark continuous assigns with source line info,
replace some assertion failures with Sorry messages.
1999-05-20 04:31:45 +00:00
10ffaeda90
Redo constant expression detection to happen
...
after parsing.
Parse more operators and expressions.
1999-05-16 05:08:42 +00:00
5de9b7c9f1
Parse and elaborate the concatenate operator
...
in structural contexts, Replace vector<PExpr*>
and list<PExpr*> with svector<PExpr*>, evaluate
constant expressions with parameters, handle
memories as lvalues.
Parse task declarations, integer types.
1999-05-10 00:16:57 +00:00
b44ef063a8
Fix handling of null delay statements.
1999-05-05 03:04:46 +00:00
5d00f17448
Handle wide events, such as @(a) where a has
...
many bits in it.
Add to vvm the binary ^ and unary & operators.
Dump events a bit more completely.
1999-05-01 20:43:55 +00:00
41f9a84a4b
Handle much more complex event expressions.
1999-05-01 02:57:52 +00:00
ce49708442
Parse OR of event expressions.
1999-04-29 02:16:26 +00:00
09cfbc6240
Core handles subsignal expressions.
1999-04-25 00:44:10 +00:00
5895d3c98d
Add memories to the parse and elaboration phases.
1999-04-19 01:59:36 +00:00
b7f833dd71
Support more operators, especially logical.
1999-03-15 02:43:32 +00:00
13a6f05463
Prevent the duplicate allocation of ESignal objects.
1999-03-01 03:27:53 +00:00
e2a37a8ccd
Add support for module parameters.
1999-02-21 17:01:57 +00:00
e5f5f41515
Elaborate gate ranges.
1999-02-15 02:06:15 +00:00
30a3953c85
Turn the NetESignal into a NetNode so
...
that it can connect to the netlist.
Implement the case statement.
Convince t-vvm to output code for
the case statement.
1999-02-08 02:49:56 +00:00
8bdd381cdf
Parse and elaborate the Verilog CASE statement.
1999-02-03 04:20:11 +00:00
a7ad8985ac
Carry some line info to the netlist,
...
Dump line numbers for processes.
Elaborate prints errors about port vector
width mismatch
Emit better handles null statements.
1999-02-01 00:26:48 +00:00
fb439c78b9
Add the LineInfo class to carry the source file
...
location of things. PGate, Statement and PProcess.
elaborate handles module parameter mismatches,
missing or incorrect lvalues for procedural
assignment, and errors are propogated to the
top of the elaboration call tree.
Attach line numbers to processes, gates and
assignment statements.
1999-01-25 05:45:56 +00:00
10b345bd16
Fully elaborate Sequential UDP behavior.
1998-12-14 02:01:34 +00:00
9a73433759
Generate OBUF or IBUF attributes (and the gates
...
to garry them) where a wire is a pad. This involved
figuring out enough of the netlist to know when such
was needed, and to generate new gates and signales
to handle what's missing.
1998-12-07 04:53:16 +00:00
ada45acb0c
Add the nobufz function to eliminate bufz objects,
...
Object links are marked with direction,
constant propagation is more careful will wide links,
Signal folding is aware of attributes, and
the XNF target can dump UDP objects based on LCA
attributes.
1998-12-02 04:37:13 +00:00
e097c999d5
Elaborate UDP devices,
...
Support UDP type attributes, and
pass those attributes to nodes that
are instantiated by elaboration,
Put modules into a map instead of
a simple list.
1998-12-01 00:42:13 +00:00
af8d6fbf01
NetAssign handles lvalues as pin links
...
instead of a signal pointer,
Wire attributes added,
Ability to parse UDP descriptions added,
XNF generates EXT records for signals with
the PAD attribute.
1998-11-23 00:20:22 +00:00
338240c37b
Give anonymous modules a name when elaborated.
1998-11-21 19:19:44 +00:00
6b2fa19429
Handle while loops.
1998-11-11 03:13:04 +00:00
ebad845fc3
Add procedural while loops,
...
Parse procedural for loops,
Add procedural wait statements,
Add constant nodes,
Add XNOR logic gate,
Make vvm output look a bit prettier.
1998-11-09 18:55:33 +00:00
b118634189
Handle procedural conditional, and some
...
of the conditional expressions.
Elaborate signals and identifiers differently,
allowing the netlist to hold signal information.
1998-11-07 17:05:05 +00:00
3fb7a053be
Introduce verilog to CVS.
1998-11-03 23:28:49 +00:00
steve