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_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 387 of file std_lib/vmm.sv.

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

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

#define VMM_CHANNEL   vmm_channel

Definition at line 139 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 339 of file std_lib/vmm.sv.

#define VMM_CONSENSUS   vmm_consensus

Definition at line 151 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 363 of file std_lib/vmm.sv.

#define VMM_DATA   vmm_data

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

#define VMM_DATA_BASE_NEW_EXTERN_ARGS

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

#define VMM_DATA_NEW_CALL

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

#define VMM_DATA_NEW_EXTERN_ARGS

Definition at line 122 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 307 of file std_lib/vmm.sv.

#define VMM_ENV   vmm_env

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

#define VMM_ENV_BASE_NEW_EXTERN_ARGS

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

#define VMM_ENV_NEW_CALL

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

#define VMM_ENV_NEW_EXTERN_ARGS

Definition at line 233 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 263 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 271 of file std_lib/vmm.sv.

#define VMM_LOG   vmm_log

Definition at line 163 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 323 of file std_lib/vmm.sv.

#define VMM_NOTIFY   vmm_notify

Definition at line 175 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 347 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 331 of file std_lib/vmm.sv.

#define vmm_sformatf   $psprintf

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

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

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

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

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

#define vmm_str_postmatch ( str   )     vmm_str_postmatch()

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

#define vmm_str_prematch ( str   )     vmm_str_prematch()

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

#define VMM_SUBENV   vmm_subenv

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

#define VMM_SUBENV_BASE_NEW_EXTERN_ARGS

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

#define VMM_SUBENV_NEW_CALL

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

#define VMM_SUBENV_NEW_EXTERN_ARGS

Definition at line 212 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 299 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 355 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 371 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 315 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 255 of file std_lib/vmm.sv.

#define VMM_XACTOR   vmm_xactor

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

#define VMM_XACTOR_BASE_NEW_EXTERN_ARGS

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

#define VMM_XACTOR_NEW_CALL

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

#define VMM_XACTOR_NEW_EXTERN_ARGS

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

Function Documentation

char * vmm_str_backref ( int  n  ) 

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

int vmm_str_match ( input string  str1,
input string  regex 
)

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

char * vmm_str_postmatch (  ) 

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

char * vmm_str_prematch (  ) 

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

Variable Documentation

vmm_channel_typed<xvc_action> xvc_action_channel

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


Intelligent Design Verification
Intelligent Design Verification
Project: VMM, Revision: 1.0.0
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:38:21 2008
Find a documentation bug? Report bugs to: bugs.intelligentdv.com Project: DoxygenFilterSV