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.