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; };
Commerical products: »Verisity's Specman Elite »www.open-vera.com
28: (C) 2008-13, DJ Greaves, University of Cambridge, Computer Laboratory. |