From Automated Verification to Automated Design
Published on Nov 15, 20103680 Views
One of the most significant developments in the area of design verification over the last decade is the development of algorithmic methods for verifying temporal specification of finite-state designs