vyasa: Can you explain about the tesbench ? How its layered structure will be formed? Will it be taken care by the tool and the transactor?
Verification is a vast area in its own right. There are tools tha twill generate guided random sequences -- there are techniques using transaction level models to drive the abstract versions of the design and then coupl ethese with transactors to drive the lower-level representations of the design -- this truly is a vast area -- way to complex to go into here...
NASA's Orion Flight Software Production Systems Manager Darrel G. Raines joins Planet Analog Editor Steve Taranovich and Embedded.com Editor Max Maxfield to talk about embedded flight software used in Orion Spacecraft, part of NASA's Mars mission. Live radio show and live chat. Get your questions ready.
Brought to you by