Creating AssertionBased IP

Assertion-basedIP.Thedesignofsystemsinthe21stcenturyisnecessarilyoneofdecompositionofproductrequirementsintofunctionalsubsystems.Oftenthesesubsystemsareimplementedwithamixofcommercialandin-housedesignIP.Inordertofitintoamoderndesignflow,eachdesignIPshouldbeaccompaniedbyaverificatio