Patent ID: 8135558

Claim:
A method for generating a simulation testbench for verifying connections between cores in a specific configuration of a datapath system, said datapath system comprising a plurality of series connected pipeline stages with each pipeline stage implemented by at least one core of a specific type and said method comprising: for multiple possible configurations of said datapath system, providing a database comprising multiple sets of transactors, each set of said transactors corresponding to a different type of core that could be used to implement one of said pipeline stages and said transactors automatically generating stimulus and checking expected data within said datapath system; and automatically selecting a single one of said multiple sets of said transactors from said database and using said single one of said multiple sets of transactors as a basis for generating said simulation testbench for said specific configuration of said datapath system, said automatically selecting being performed using a computerized device and comprising: identifying a specific set of transactors that corresponds to a specific type of core that is used to implement a specific pipeline stage that is contained in a highest protocol layer of said specific configuration of said datapath system; and selecting said specific set of transactors.