Permalink
Commits on May 1, 2012
  1. Fix check for SV continuous assign to variable.

    steveicarus committed Apr 16, 2012
    SystemVerilog allows a variable to be used as a variable OR
    as an unresolved wire. The detection of this case was checking
    the references to the affected value, instead of the l-value
    references.
    (cherry picked from commit cceeaa30f27260cd444015cb39b04353cb858768)
Commits on Apr 30, 2012
  1. Disable width minimisation of literal numbers passed to system tasks.

    Martin Whitaker committed with steveicarus Apr 30, 2012
    The final step of expression elaboration is to reduce the width of
    lossless/unsized constant expressions to the minimum needed to hold
    the resulting constant value. This leads to unexpected results if
    the user supplies a literal number with redundant digits that gets
    passed to a system task that is sensitive to the width (e.g. $display).
    This patch prevents width reduction occurring in this case.
  2. Handle case generate under a conditional generate that is unnamed.

    steveicarus committed Apr 30, 2012
    When a conditional statement is unnamed, it doesn't create a scope
    and we get into "direct" generate scheme elaboration. This direct
    elaboration needs to handle case generate schemes.
Commits on Apr 28, 2012
  1. Improved behaviour of tranif when control is 'x' or 'z'.

    Martin Whitaker committed with steveicarus Mar 14, 2012
    The IEEE standard does not specify the behaviour of a tranif primitive
    when its control input is an 'x' or 'z'. vvp currently treats these as
    if the tran was turned off, but it would be better to propagate the
    uncertainty to the tran bi-directional ports. For compatibility with
    other simulators, we adopt the behaviour specified for MOS primitives.
Commits on Apr 11, 2012
  1. Spelling fix

    caryr committed Apr 11, 2012
Commits on Apr 10, 2012
  1. Ranges are ranges, not expression lists.

    steveicarus committed Apr 10, 2012
    This is a cleanup in preparation for better support of range lists.
    (cherry picked from commit 8f7cf3255acad55841f8b3725e3786ef49daad68)
    
    Conflicts:
    
    	PTask.h
    	elab_scope.cc
    	elab_sig.cc
    	parse.y
    	pform.cc
    	pform.h
    	pform_types.h
    
    Signed-off-by: Stephen Williams <steve@icarus.com>
Commits on Apr 9, 2012
  1. Spelling refresh

    ldoolitt committed with caryr Apr 6, 2012
  2. SystemVerilog unbased literals cannot take a size.

    caryr committed Apr 9, 2012
    The SystemVerilog unbased literals (e.g. '0, '1, etc.) are expected to be
    used standalone and cannot take a size. This patch modifies the parsing
    code to give a good error message when this is done.
Commits on Apr 3, 2012
  1. Add code to test the width of individual structure elements.

    caryr committed Apr 3, 2012
    This patch adds code to correctly set the type and width of individual
    structure elements. Note the sign information is not currently available.
  2. Merge branch 'x-ms1'

    steveicarus committed Apr 3, 2012
Commits on Apr 2, 2012
  1. Update vecval size calculation in vvp and vpi code.

    caryr committed Apr 1, 2012
    The standard specifies that the size of a vecval should be calculated as
    (size - 1)/32 + 1. When size is a PLI_INT32 this is needed to prevent an
    overflow, but when the size is unsigned this can be simplified to
    (size + 31)/32 since the size must fit into an integer, but we have an
    extra significant bit in an unsigned so no overflow can happen.
    
    This patch changes the code to use the correct version of the equation
    depending on the context.
    
    The previous patch does this in vvp/vpi_priv.cc
  2. For a delayed vpi_put_value() copy any pointer data members.

    caryr committed Apr 1, 2012
    When vpi_put_value() is asked to delay the assignment any pointer data
    needs to be duplicated so that the caller can clean up the locally
    allocated memory without causing memory access problems.
    
    Also update word calculation to match the next patch.
Commits on Mar 12, 2012
  1. Fix for pr3499807.

    Martin Whitaker committed with caryr Mar 9, 2012
    If a tranif gate has a delay, the vvp code generator needs to generate
    a unique label for the island port used for the tranif enable, to
    prevent a name collision if the undelayed signal is also connected
    to the island.
    
    Also add an assertion in vvp to catch bugs like this.
Commits on Mar 11, 2012
  1. Allow variable initialization in any scope.

    steveicarus committed Mar 11, 2012
    This is a SystemVerilog feature, so only allow it when
    compiling SystemVerilog files.
  2. Get the scope of class methods right

    steveicarus committed Mar 11, 2012
    Class methods belong in a class scope, not the containing module.
    So create a lexical scope that carries tasks and functions and
    create a PClass to represent classes.
Commits on Mar 10, 2012
  1. Parse SystemVerilog syntax for task calls.

    steveicarus committed Mar 10, 2012
    Tasks call arguments may be dropped in favor of default values.
    Allow for that in the syntax. This requires a little handling
    of the non-SystemVerilog case during elaboration.
Commits on Mar 5, 2012
  1. Miscellaneous SystemVerilog syntax.

    steveicarus committed Mar 5, 2012
    ... and sorry messages.
Commits on Mar 3, 2012
  1. Handle complexities of class name pre-declarations

    steveicarus committed Mar 3, 2012
    Class names can be declared early, before definitions, so that the
    name can be used as a type name. This thus allows class definitions
    to be separate from the declaration. This creates some complexity in
    the parser, since the lexor knows about the class names.
Commits on Mar 2, 2012
Commits on Feb 27, 2012
  1. Parse function declarations in classes.

    steveicarus committed Feb 27, 2012
    Also add support for function end names when parsing SystemVerilog.