Verification Methodologies and Environment Architecture.- Verification Methodologies.- Anatomy of a Verification Environment.- All About e.- e as a Programming Language.- e as a Verification Language.- Topology and Stimulus Generation.- Generator Operation.- Data Modeling and Stimulus Generation.- Sequence Generation.- Response Collection, Data Checking, and Property Monitoring.- Temporal Expressions.- Messages.- Collectors and Monitors.- Scoreboarding.- Coverage Modeling and Measurement.- Coverage Engine.- Coverage Modeling.- e Code Reuse.- e Reuse Methodology.- si_util Package.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.