HOME       UP       PREV       FURTHER NOTES       NEXT (ABD - Conclusion)  

ABD - Automated Stimulus Generation

Testbench automation: generate pseudo-random input under constraining assertions.

struct frame {
  llc: LLCHeader;
  destAddr: uint (bits:48);
  srcAddr: uint (bits:48);
  size: int;  
  payload: list of byte;           
  keep payload.size() in [0..size];  };

The frame structure is accepted at an input port.

Testing will be inside envelope defined by 'keep' statements.

An heirarchy of specifications and constraints:

  extend frame { keep size == 0;  };

Products: Verisity's Specman Elite, Synopsys Vera.


(C) 2008-10, DJ Greaves, University of Cambridge, Computer Laboratory.