Assisted Creation and Refinement of Transactional Level Specifications Based on IP-XACT By May 18, 2009
A Comparison of Assertion Based Formal Verification with Coverage driven Constrained Random Simulation, Experience on a Legacy IP By May 7, 2009