Method and apparatus for generating expected value data for testing a
circuit configured in a programmable logic device (PLD). A simulation
model is generated from a circuit representation for the circuit. Nodes
in the simulation model configured for readback capture are automatically
identified. The circuit representation is simulated as defined by the
simulation model. Expected value data is recorded during the simulation
in response to the identified nodes. A method and apparatus for testing a
circuit configured in a PLD is also described. Expected value data for
components of a circuit representation for the circuit is automatically
generated using a modeling system, where the components are configured
for readback capture. A test stimulus is applied to the circuit and state
data is captured. The captured state data is compared with the expected
value data.