writer.py

# MIT License
# Copyright (c) 2016 Western Digital Corporation
 
# Permission is hereby granted, free of charge, to any person obtaining a copy
# of this software and associated documentation files (the "Software"), to deal
# in the Software without restriction, including without limitation the rights
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
# copies of the Software, and to permit persons to whom the Software is
# furnished to do so, subject to the following conditions:
 
# The above copyright notice and this permission notice shall be included in all
# copies or substantial portions of the Software.
 
# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
# SOFTWARE.
 
"""Write Value Change Dump files.
 
This module provides :class:`VCDWriter` for writing VCD files.
 
"""
from collections import OrderedDict
from collections.abc import Sequence
from numbers import Number
import datetime
 
from itertools import zip_longest
 
 
class VCDPhaseError(Exception):
    """Indicating a :class:`VCDWriter` method was called in the wrong phase.
 
    For example, calling :meth:`register_var()` after :meth:`close()` will
    raise this exception.
 
    """
 
 
class VCDWriter:
    """Value Change Dump writer.
 
    A VCD file captures time-ordered changes to the value of variables.
 
    :param file file: A file-like object to write the VCD data.
    :param timescale:
        Scale of the VCD timestamps. The timescale may either be a string or a
        tuple containing an (int, str) pair.
    :type timescale: str, tuple
    :param str date: Optional `$date` string used in the VCD header.
    :param str comment: Optional `$comment` string used in the VCD header.
    :param str version: Optional `$version` string used in the VCD header.
    :param str default_scope_type: Scope type for scopes where
            :meth:`set_scope_type()` is not called explicitly.
    :param str scope_sep: Separator for scopes specified as strings.
    :param int init_timestamp: The initial timestamp. default=0
    :raises ValueError: for invalid timescale values
 
    """
 
    
    SCOPE_TYPES = ['begin', 'fork', 'function', 'module', 'task']
 
    
    VAR_TYPES = ['event', 'integer', 'parameter', 'real', 'realtime', 'reg',
                 'supply0', 'supply1', 'time', 'tri', 'triand', 'trior',
                 'trireg', 'tri0', 'tri1', 'wand', 'wire', 'wor']
 
    
    TIMESCALE_NUMS = [1, 10, 100]
 
    
    TIMESCALE_UNITS = ['s', 'ms', 'us', 'ns', 'ps', 'fs']
 
    def __init__(self, file, timescale='1 us', date=None, comment='',
                 version='', default_scope_type='module', scope_sep='.',
                 check_values=True, init_timestamp=0):
        """Initialization of VCDWriter"""
        ## output file
        self._ofile = file
        ## header keywords
        self._header_keywords = {
            '$timescale': self._check_timescale(timescale),
            '$date': str(datetime.datetime.now()) if date is None else date,
            '$comment': comment,
            '$version': version,
        }
        if default_scope_type not in self.SCOPE_TYPES:
            raise ValueError(f'Invalid default scope type ({default_scope_type})')
        ## set default_scope_type
        self._default_scope_type = default_scope_type
        ## set scope_sep
        self._scope_sep = scope_sep
        ## set check_values
        self._check_values = check_values
        ## set registering
        self._registering = True
        ## set closed
        self._closed = False
        ## set dumping
        self._dumping = True
        ## set next_var_id
        self._next_var_id = 0
        ## set scope_var_strs
        self._scope_var_strs = {}
        ## set scope_var_names
        self._scope_var_names = {}
        ## set scopr_types
        self._scope_types = {}
        ## set ident_values
        self._ident_values = OrderedDict()
        ## set time_stamp
        self._timestamp = int(init_timestamp)
 
    def set_scope_type(self, scope, scope_type):
        """Set the scope_type for a given scope.
 
        The scope's type may be set to one of the valid :const:`SCOPE_TYPES`.
        VCD viewer applications may display different scope types differently.
 
        :param scope: The scope to set the type of.
        :type scope: str or sequence of str
        :param str scope_type: A valid scope type string.
        :raises ValueError: for invalid `scope_type`
 
        """
        if scope_type is not None and scope_type not in self.SCOPE_TYPES:
            raise ValueError(f'Invalid scope_type "{scope_type}"')
        scope_tuple = self._get_scope_tuple(scope)
        self._scope_types[scope_tuple] = scope_type
 
    def register_var(self, scope, name, var_type, size=None, init=None,
                     ident=None):
        """Register a VCD variable and return function to change value.
 
        All VCD variables must be registered prior to any value changes.
 
        .. Note::
 
            The variable `name` differs from the variable's `ident`
            (identifier). The `name` (also known as `ref`) is meant to refer to
            the variable name in the code being traced and is visible in VCD
            viewer applications.  The `ident`, however, is only used within the
            VCD file and can be auto-generated (by specifying ``ident=None``)
            for most applications.
 
        :param scope: The hierarchical scope that the variable belongs within.
        :type scope: str or sequence of str
        :param str name: Name of the variable.
        :param str var_type: One of :const:`VAR_TYPES`.
        :param size:
            Size, in bits, of the variable. The *size* may be expressed as an
            int or, for vector variable types, a tuple of int. When the size is
            expressed as a tuple, the *value* passed to :meth:`change()` must
            also be a tuple of same arity as the *size* tuple. Some variable
            types ('integer', 'real', 'realtime', and 'event') have a default
            size and thus *size* may be ``None`` for those variable types.
        :type size: int or tuple(int) or None
        :param init: Optional initial value; defaults to 'x'.
        :param str ident: Optional identifier for use in the VCD stream.
        :raises VCDPhaseError: if any values have been changed
        :raises ValueError: for invalid var_type value
        :raises TypeError: for invalid parameter types
        :raises KeyError: for duplicate var name
        :returns: :class:`Variable` instance appropriate for use with
                  :meth:`change()`.
 
        """
        if self._closed:
            raise VCDPhaseError('Cannot register after close().')
        elif not self._registering:
            raise VCDPhaseError('Cannot register after time 0.')
        elif var_type not in self.VAR_TYPES:
            raise ValueError(f'Invalid var_type "{var_type}"')
 
        scope_tuple = self._get_scope_tuple(scope)
 
        scope_names = self._scope_var_names.setdefault(scope_tuple, [])
        if name in scope_names:
            raise KeyError(f'Duplicate var {name} in scope {scope}')
 
        if ident is None:
            ident = format(self._next_var_id, 'x')
 
        if size is None:
            if var_type in ['integer', 'real', 'realtime']:
                size = 64
            elif var_type == 'event':
                size = 1
            else:
                raise ValueError(
                    f'Must supply size for {var_type} var_type')
 
        if isinstance(size, Sequence):
            size = tuple(size)
            var_size = sum(size)
        else:
            var_size = size
 
        var_str = f'$var {var_type} {var_size} {ident} {name} $end'
 
        if init is None:
            if var_type == 'real':
                init = 0.0
            elif isinstance(size, tuple):
                init = tuple('x' * len(size))
            else:
                init = 'x'
 
        if size == 1:
            var = ScalarVariable(ident, var_type, size)
        elif var_type == 'real':
            var = RealVariable(ident, var_type, size)
        else:
            var = VectorVariable(ident, var_type, size)
 
        if var_type != 'event':
            self.change(var, self._timestamp, init)
 
        # Only alter state after change_func() succeeds
        self._next_var_id += 1
        self._scope_var_strs.setdefault(scope_tuple, []).append(var_str)
        scope_names.append(name)
 
        return var
 
    def dump_off(self, timestamp):
        """Suspend dumping to VCD file."""
        if self._dumping and not self._registering and self._ident_values:
            """set dump_off"""
            self._dump_off(timestamp)
        self._dumping = False
 
    def _dump_off(self, timestamp):
        """Stop dumping to VCD file."""
        print('#' + str(int(timestamp)), file=self._ofile)
        print('$dumpoff', file=self._ofile)
        for ident, val_str in self._ident_values.items():
            if val_str[0] == 'b':
                print('bx', ident, file=self._ofile)
            elif val_str[0] == 'r':
                pass  # real variables cannot have 'z' or 'x' state
            else:
                print('x', ident, sep='', file=self._ofile)
        print('$end', file=self._ofile)
 
    def dump_on(self, timestamp):
        """Resume dumping to VCD file."""
        if not self._dumping and not self._registering and self._ident_values:
            print('#' + str(int(timestamp)), file=self._ofile)
            """set dump_values"""
            self._dump_values('$dumpon')
        self._dumping = True
 
    def _dump_values(self, keyword):
        """Dump values to VCD file."""
        print(keyword, file=self._ofile)
        # TODO: events should be excluded
        print(*self._ident_values.values(),
              sep='\n', file=self._ofile)
        print('$end', file=self._ofile)
 
    def change(self, var, timestamp, value):
        """Change variable's value in VCD stream.
 
        This is the fundamental behavior of a :class:`VCDWriter` instance. Each
        time a variable's value changes, this method should be called.
 
        The *timestamp* must be in-order relative to timestamps from previous
        calls to :meth:`change()`. It is okay to call :meth:`change()` multiple
        times with the same *timestamp*, but never with a past *timestamp*.
 
        .. Note::
 
            :meth:`change()` may be called multiple times before the timestamp
            progresses past 0. The last value change for each variable will go
            into the $dumpvars section.
 
        :param Variable var: :class:`Variable` instance (i.e. from
                             :meth:`register_var()`).
        :param int timestamp: Current simulation time.
        :param value:
            New value for *var*. For :class:`VectorVariable`, if the variable's
            *size* is a tuple, then *value* must be a tuple of the same arity.
 
        :raises ValueError: if the value is not valid for *var*.
        :raises VCDPhaseError: if the timestamp is out of order or the
                               :class:`VCDWriter` instance is closed.
 
        """
        if timestamp < self._timestamp:
            raise VCDPhaseError(f'Out of order value change ({var})')
        elif self._closed:
            raise VCDPhaseError('Cannot change value after close()')
 
        val_str = var.format_value(value, self._check_values)
        ts_int = int(timestamp)
 
        if ts_int > self._timestamp:
            if self._registering:
                self._finalize_registration()
            if self._dumping:
                print('#', ts_int, sep='', file=self._ofile)
            self._timestamp = ts_int
 
        if self._dumping and not self._registering:
            print(val_str, file=self._ofile)
        else:
            self._ident_values[var.ident] = val_str
 
    def _get_scope_tuple(self, scope):
        """get scope tuple function of the VCDWrite"""
        if isinstance(scope, str):
            return tuple(scope.split(self._scope_sep))
        if isinstance(scope, (list, tuple)):
            return tuple(scope)
        else:
            raise TypeError(f'Invalid scope {scope}')
 
    @classmethod
    def _check_timescale(cls, timescale):
        """check time scale function of the VCDWrite"""
        if isinstance(timescale, (list, tuple)):
            if len(timescale) == 1:
                num_str = '1'
                unit = timescale[0]
            elif len(timescale) == 2:
                num, unit = timescale
                if num not in cls.TIMESCALE_NUMS:
                    raise ValueError(f'Invalid timescale num {num}')
                num_str = str(num)
            else:
                raise ValueError(f'Invalid timescale {timescale}')
        elif isinstance(timescale, str):
            if timescale in cls.TIMESCALE_UNITS:
                num_str = '1'
                unit = timescale
            else:
                for num in sorted(cls.TIMESCALE_NUMS, reverse=True):
                    num_str = str(num)
                    if timescale.startswith(num_str):
                        unit = timescale[len(num_str):].lstrip(' ')
                        break
                else:
                    raise ValueError(
                        f'Invalid timescale num {timescale}')
        else:
            raise TypeError(f'Invalid timescale type {type(timescale).__name__}')
        if unit not in cls.TIMESCALE_UNITS:
            raise ValueError(f'Invalid timescale unit "{unit}"')
        return ' '.join([num_str, unit])
 
    def __enter__(self):
        """enter of VCDWriter"""
        return self
 
    def __exit__(self, exc_type, exc_val, exc_tb):
        """exit of VCDWriter"""
        self.close()
 
    def close(self, timestamp=None):
        """Close VCD writer.
 
        Any buffered VCD data is flushed to the output file. After
        :meth:`close()`, no variable registration or value changes will be
        accepted.
 
        :param int timestamp: optional final timestamp to insert into VCD
                              stream.
 
        .. Note::
 
            The output file is not automatically closed. It is up to the user
            to ensure the output file is closed after the :class:`VCDWriter`
            instance is closed.
 
        """
        if not self._closed:
            self.flush(timestamp)
            self._closed = True
 
    def flush(self, timestamp=None):
        """Flush any buffered VCD data to output file.
 
        If the VCD header has not already been written, calling `flush()` will
        force the header to be written thus disallowing any further variable
        registration.
 
        :param int timestamp: optional timestamp to insert into VCD stream.
 
        """
        if self._closed:
            raise VCDPhaseError('Cannot flush() after close()')
        if self._registering:
            self._finalize_registration()
        if timestamp is not None and timestamp > self._timestamp:
            print("#", int(timestamp), sep='', file=self._ofile)
        self._ofile.flush()
 
    def _gen_header(self):
        """generate header for VCDWriter"""
        for kwname, kwvalue in sorted(self._header_keywords.items()):
            if not kwvalue:
                continue
            lines = kwvalue.split('\n')
            if len(lines) == 1:
                yield f'{kwname} {lines[0]} $end'
            else:
                yield kwname
                for line in lines:
                    yield '\t' + line
                yield '$end'
 
        prev_scope = []
        for scope in sorted(self._scope_var_strs):
            var_strs = self._scope_var_strs.pop(scope)
 
            for i, (prev, this) in enumerate(zip_longest(prev_scope, scope)):
                if prev != this:
                    for _ in prev_scope[i:]:
                        yield '$upscope $end'
 
                    for j, name in enumerate(scope[i:]):
                        scope_type = self._scope_types.get(
                            scope[:i + j + 1], self._default_scope_type)
                        yield f'$scope {scope_type} {name} $end'
                    break
            else:
                assert scope != prev_scope  # pragma no cover
 
            yield from var_strs
 
            prev_scope = scope
 
        for _ in prev_scope:
            yield '$upscope $end'
 
        yield '$enddefinitions $end'
 
    def _finalize_registration(self):
        """finalize registration of VCDWriter"""
        assert self._registering
        print(*self._gen_header(), sep='\n', file=self._ofile)
        if self._ident_values:
            print('#' + str(int(self._timestamp)), file=self._ofile)
            self._dump_values('$dumpvars')
            if not self._dumping:
                self._dump_off(self._timestamp)
        self._registering = False
 
        # This state is not needed after registration phase.
        self._header_keywords.clear()
        self._scope_types.clear()
        self._scope_var_names.clear()
 
 
class Variable:
    """VCD variable details needed to call :meth:`VCDWriter.change()`."""
 
    ## variables
    __slots__ = ('ident', 'type', 'size')
 
    def __init__(self, ident, type, size):
        """Initialization of Variable function"""
        ## Identifier used in VCD output stream.
        self.ident = ident
        ## VCD variable type; one of :const:`VCDWriter.VAR_TYPES`.
        self.type = type
        ## Size, in bits, of variable.
        self.size = size
 
    def format_value(self, value, check=True):
        """Format value change for use in VCD stream."""
        raise NotImplementedError
 
 
class ScalarVariable(Variable):
    """One-bit VCD scalar.
 
    This is a 4-state variable and thus may have values of 0, 1, 'z', or 'x'.
 
    """
 
    ## variables
    __slots__ = ()
 
    def format_value(self, value, check=True):
        """Format scalar value change for VCD stream.
 
        :param value: 1-bit (4-state) scalar value.
        :type value: str, bool, int, or None
        :raises ValueError: for invalid *value*.
        :returns: string representing value change for use in a VCD stream.
 
        """
        if isinstance(value, str):
            if check and (len(value) != 1 or value not in '01xzXZ'):
                raise ValueError(f'Invalid scalar value ({value})')
            return value + self.ident
        elif value is None:
            return 'z' + self.ident
        elif value:
            return '1' + self.ident
        else:
            return '0' + self.ident
 
 
class RealVariable(Variable):
    """Real (IEEE-754 double-precision floating point) variable.
 
    Values must be numeric and cannot be 'x' or 'z' states.
 
    """
 
    ## variables
    __slots__ = ()
 
    def format_value(self, value, check=True):
        """Format real value change for VCD stream.
 
        :param value: Numeric changed value.
        :param type: float or int
        :raises ValueError: for invalid real *value*.
        :returns: string representing value change for use in a VCD stream.
 
        """
        if not check or isinstance(value, Number):
            return f'r{value:.16g} {self.ident}'
        else:
            raise ValueError(f'Invalid real value ({value})')
 
 
class VectorVariable(Variable):
    """Bit vector variable type.
 
    This is for the various non-scalar and non-real variable types including
    integer, register, wire, etc.
 
    """
 
    ## variables
    __slots__ = ()
 
    def format_value(self, value, check=True):
        """Format value change for VCD stream.
 
        :param value: New value for the variable.
        :types value: int, str, or None
        :raises ValueError: for *some* invalid values.
 
        A *value* of `None` is the same as `'z'`.
 
        .. Warning::
 
            If *value* is of type :py:class:`str`, all characters must be one
            of `'01xzXZ'`. For the sake of performance, checking **is not**
            done to ensure value strings only contain conforming characters.
            Thus it is possible to produce invalid VCD streams with invalid
            string values.
 
        """
        if isinstance(self.size, tuple):
            # The string is built-up right-to-left in order to minimize/avoid
            # left-extension in the final value string.
            vstr_list = []
            vstr_len = 0
            size_sum = 0
            for i, (v, size) in enumerate(zip(reversed(value),
                                              reversed(self.size))):
                vstr = self._format_value(v, size, check)
                if not vstr_list:
                    vstr_list.insert(0, vstr)
                    vstr_len += len(vstr)
                else:
                    leftc = vstr_list[0][0]
                    rightc = vstr[0]
                    if len(vstr) > 1 or ((rightc != leftc or leftc == '1') and
                                         (rightc != '0' or leftc != '1')):
                        extendc = '0' if leftc == '1' else leftc
                        extend_size = size_sum - vstr_len
                        vstr_list.insert(0, extendc * extend_size)
                        vstr_list.insert(0, vstr)
                        vstr_len += extend_size + len(vstr)
                size_sum += size
            value_str = ''.join(vstr_list)
        else:
            value_str = self._format_value(value, self.size, check)
        return f'b{value_str} {self.ident}'
 
    def _format_value(self, value, size, check):
        """format value function of VCDWriter"""
        if isinstance(value, int):
            max_val = 1 << size
            if check and (-value > (max_val >> 1) or value >= max_val):
                raise ValueError(f'Value ({value}) not representable in {size} bits')
            if value < 0:
                value += max_val
            return format(value, 'b')
        elif value is None:
            return 'z'
        else:
            if check and (not isinstance(value, str) or
                          len(value) > size or
                          any(c not in '01xzXZ-' for c in value)):
                raise ValueError(f'Invalid vector value ({value})')
            return value