Abstract
This paper introduces a modular and reconfigurable software framework for protocol stacks implemented in platform independent manner. Simulation tools useful for software validations are introduced and a new distributed, three-staged procedure for validation of protocol stack software is proposed. Assertion-based virtual prototyping (based on non-resident assertions), utilising simulation of hardware software co-systems as well as software probes containing code-resident assertions are used in the proposed validation process.