MISSOULA, Mont. — It was a beautiful day for our NBC Montana Sky Team to fly over the Deer Lodge Valley and Georgetown Lake!

This has lead us to conclude that transactional modeling has great potential to become the new design and verification abstraction above RTL. In this paper we look at the different design ...