std_lib/vmm.sv File Reference

Go to the source code of this file.

Classes

class  vmm_version
class  vmm_log_format
class  vmm_log_callbacks
class  vmm_log
class  vmm_notify_callbacks
class  vmm_notification
class  vmm_notify
class  vmm_data
class  vmm_channel
class  vmm_channel_typed< T >
class  vmm_consensus
class  vmm_voter
class  vmm_subenv
class  vmm_env
class  vmm_xactor_callbacks
class  vmm_xactor
class  vmm_broadcast
class  vmm_scheduler_election
class  vmm_scheduler
class  xvc_action
class  xvc_xactor
class  xvc_manager

Defines

#define VMM_DOSFILE_CHECK
#define vmm_sformatf   $psprintf
#define vmm_str_match(str, regex)   vmm_str_match(str, regex)
#define vmm_str_prematch(str)   vmm_str_prematch()
#define vmm_str_postmatch(str)   vmm_str_postmatch()
#define vmm_str_backref(str, n)   vmm_str_backref(n+1)
#define VMM_DATA   vmm_data
#define VMM_DATA_NEW_EXTERN_ARGS
#define VMM_DATA_NEW_CALL
#define VMM_DATA_BASE_NEW_EXTERN_ARGS
#define VMM_CHANNEL   vmm_channel
#define VMM_CONSENSUS   vmm_consensus
#define VMM_LOG   vmm_log
#define VMM_NOTIFY   vmm_notify
#define VMM_XACTOR   vmm_xactor
#define VMM_XACTOR_NEW_EXTERN_ARGS
#define VMM_XACTOR_NEW_CALL
#define VMM_XACTOR_BASE_NEW_EXTERN_ARGS
#define VMM_SUBENV   vmm_subenv
#define VMM_SUBENV_NEW_EXTERN_ARGS
#define VMM_SUBENV_NEW_CALL
#define VMM_SUBENV_BASE_NEW_EXTERN_ARGS
#define VMM_ENV   vmm_env
#define VMM_ENV_NEW_EXTERN_ARGS
#define VMM_ENV_NEW_CALL
#define VMM_ENV_BASE_NEW_EXTERN_ARGS
#define vmm_warning(log, msg)
#define vmm_error(log, msg)
#define vmm_fatal(log, msg)
#define vmm_trace(log, msg)
#define vmm_debug(log, msg)
#define vmm_verbose(log, msg)
#define vmm_note(log, msg)
#define vmm_report(log, msg)
#define vmm_command(log, msg)
#define vmm_protocol(log, msg)
#define vmm_transaction(log, msg)
#define vmm_cycle(log, msg)
#define vmm_user(n, log, msg)
#define vmm_callback(facade, call)
#define vmm_channel(T)   typedef vmm_channel_typed#(T) T##_channel;

Functions

int vmm_str_match (input string str1, input string regex)
string vmm_str_prematch ()
string vmm_str_postmatch ()
string vmm_str_backref (int n)

Variables

vmm_channel_typed< xvc_action > xvc_action_channel

Define Documentation

#define vmm_callback ( facade,
call   ) 

Value:

\
do foreach (this.callbacks[vmm_i]) begin \
   facade cb; \
   if (!$cast(cb, this.callbacks[vmm_i])) continue; \
 \
   cb.call; \
end while (0)

Definition at line 400 of file std_lib/vmm.sv.

#define vmm_channel ( T   )     typedef vmm_channel_typed#(T) T##_channel;

Definition at line 420 of file std_lib/vmm.sv.

#define VMM_CHANNEL   vmm_channel

Definition at line 152 of file std_lib/vmm.sv.

#define vmm_command ( log,
msg   ) 

Value:

do \
   if (log.start_msg(vmm_log::COMMAND_TYP)) begin \
      void(log.text(msg)); \
      log.end_msg(); \
   end \
while (0)

Definition at line 352 of file std_lib/vmm.sv.

#define VMM_CONSENSUS   vmm_consensus

Definition at line 164 of file std_lib/vmm.sv.

#define vmm_cycle ( log,
msg   ) 

Value:

do \
   if (log.start_msg(vmm_log::CYCLE_TYP)) begin \
      void(log.text(msg)); \
      log.end_msg(); \
   end \
while (0)

Definition at line 376 of file std_lib/vmm.sv.

#define VMM_DATA   vmm_data

Definition at line 131 of file std_lib/vmm.sv.

#define VMM_DATA_BASE_NEW_EXTERN_ARGS

Definition at line 140 of file std_lib/vmm.sv.

#define VMM_DATA_NEW_CALL

Definition at line 136 of file std_lib/vmm.sv.

#define VMM_DATA_NEW_EXTERN_ARGS

Definition at line 135 of file std_lib/vmm.sv.

#define vmm_debug ( log,
msg   ) 

Value:

do \
   if (log.start_msg(vmm_log::DEBUG_TYP, vmm_log::DEBUG_SEV)) begin \
      void(log.text(msg)); \
      log.end_msg(); \
   end \
while (0)

Definition at line 320 of file std_lib/vmm.sv.

#define VMM_DOSFILE_CHECK

Value:

If you get a syntax error on this line, \
        the file is corrupt. Make sure you unpack the VMM distribution \
        file with gunzip then tar, not a Windows tool

Definition at line 22 of file std_lib/vmm.sv.

#define VMM_ENV   vmm_env

Definition at line 242 of file std_lib/vmm.sv.

#define VMM_ENV_BASE_NEW_EXTERN_ARGS

Definition at line 251 of file std_lib/vmm.sv.

#define VMM_ENV_NEW_CALL

Definition at line 247 of file std_lib/vmm.sv.

#define VMM_ENV_NEW_EXTERN_ARGS

Definition at line 246 of file std_lib/vmm.sv.

#define vmm_error ( log,
msg   ) 

Value:

do \
   if (log.start_msg(vmm_log::FAILURE_TYP, vmm_log::ERROR_SEV)) begin \
      void(log.text(msg)); \
      log.end_msg(); \
   end \
while (0)

Definition at line 276 of file std_lib/vmm.sv.

#define vmm_fatal ( log,
msg   ) 

Value:

do \
   if (log.start_msg(vmm_log::FAILURE_TYP, vmm_log::FATAL_SEV)) begin \
      void(log.text(msg)); \
      log.end_msg(); \
   end \
while (0)

Definition at line 284 of file std_lib/vmm.sv.

#define VMM_LOG   vmm_log

Definition at line 176 of file std_lib/vmm.sv.

#define vmm_note ( log,
msg   ) 

Value:

do \
   if (log.start_msg(vmm_log::NOTE_TYP)) begin \
      void(log.text(msg)); \
      log.end_msg(); \
   end \
while (0)

Definition at line 336 of file std_lib/vmm.sv.

#define VMM_NOTIFY   vmm_notify

Definition at line 188 of file std_lib/vmm.sv.

#define vmm_protocol ( log,
msg   ) 

Value:

do \
   if (log.start_msg(vmm_log::PROTOCOL_TYP)) begin \
      void(log.text(msg)); \
      log.end_msg(); \
   end \
while (0)

Definition at line 360 of file std_lib/vmm.sv.

#define vmm_report ( log,
msg   ) 

Value:

do \
   if (log.start_msg(vmm_log::REPORT_TYP)) begin \
      void(log.text(msg)); \
      log.end_msg(); \
   end \
while (0)

Definition at line 344 of file std_lib/vmm.sv.

#define vmm_sformatf   $psprintf

Definition at line 59 of file std_lib/vmm.sv.

#define vmm_str_backref ( str,
n   )     vmm_str_backref(n+1)

Definition at line 100 of file std_lib/vmm.sv.

#define vmm_str_match ( str,
regex   )     vmm_str_match(str, regex)

Definition at line 97 of file std_lib/vmm.sv.

#define vmm_str_postmatch ( str   )     vmm_str_postmatch()

Definition at line 99 of file std_lib/vmm.sv.

#define vmm_str_prematch ( str   )     vmm_str_prematch()

Definition at line 98 of file std_lib/vmm.sv.

#define VMM_SUBENV   vmm_subenv

Definition at line 221 of file std_lib/vmm.sv.

#define VMM_SUBENV_BASE_NEW_EXTERN_ARGS

Definition at line 230 of file std_lib/vmm.sv.

#define VMM_SUBENV_NEW_CALL

Definition at line 226 of file std_lib/vmm.sv.

#define VMM_SUBENV_NEW_EXTERN_ARGS

Definition at line 225 of file std_lib/vmm.sv.

#define vmm_trace ( log,
msg   ) 

Value:

do \
   if (log.start_msg(vmm_log::DEBUG_TYP, vmm_log::TRACE_SEV)) begin \
      void(log.text(msg)); \
      log.end_msg(); \
   end \
while (0)

Definition at line 312 of file std_lib/vmm.sv.

#define vmm_transaction ( log,
msg   ) 

Value:

do \
   if (log.start_msg(vmm_log::TRANSACTION_TYP)) begin \
      void(log.text(msg)); \
      log.end_msg(); \
   end \
while (0)

Definition at line 368 of file std_lib/vmm.sv.

#define vmm_user ( n,
log,
msg   ) 

Value:

do \
   if (log.start_msg(vmm_log::USER_TYP_n)) begin \
      void(log.text(msg)); \
      log.end_msg(); \
   end \
while (0)

Definition at line 384 of file std_lib/vmm.sv.

#define vmm_verbose ( log,
msg   ) 

Value:

do \
   if (log.start_msg(vmm_log::DEBUG_TYP, vmm_log::VERBOSE_SEV)) begin \
      void(log.text(msg)); \
      log.end_msg(); \
   end \
while (0)

Definition at line 328 of file std_lib/vmm.sv.

#define vmm_warning ( log,
msg   ) 

Value:

do \
   if (log.start_msg(vmm_log::FAILURE_TYP, vmm_log::WARNING_SEV)) begin \
      void(log.text(msg)); \
      log.end_msg(); \
   end \
while(0)

Definition at line 268 of file std_lib/vmm.sv.

#define VMM_XACTOR   vmm_xactor

Definition at line 200 of file std_lib/vmm.sv.

#define VMM_XACTOR_BASE_NEW_EXTERN_ARGS

Definition at line 209 of file std_lib/vmm.sv.

#define VMM_XACTOR_NEW_CALL

Definition at line 205 of file std_lib/vmm.sv.

#define VMM_XACTOR_NEW_EXTERN_ARGS

Definition at line 204 of file std_lib/vmm.sv.

Function Documentation

char * vmm_str_backref ( int  n  ) 

Definition at line 95 of file std_lib/vmm.sv.

int vmm_str_match ( input string  str1,
input string  regex 
)

Definition at line 92 of file std_lib/vmm.sv.

char * vmm_str_postmatch (  ) 

Definition at line 94 of file std_lib/vmm.sv.

char * vmm_str_prematch (  ) 

Definition at line 93 of file std_lib/vmm.sv.

Variable Documentation

vmm_channel_typed<xvc_action> xvc_action_channel

Definition at line 1878 of file std_lib/vmm.sv.


Intelligent Design Verification
Intelligent Design Verification
Project: VMM, Revision: 1.0.1
Copyright (c) 2008 Intelligent Design Verification.
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
A copy of the license is included here:
http://www.intelligentdv.com/licenses/fdl.txt
doxygen
Doxygen Version: 1.5.6
Sat Oct 18 11:32:19 2008
Find a documentation bug? Report bugs to: bugs.intelligentdv.com Project: DoxygenFilterSV